431 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par auteur > Juarez Orozco .:.
1 document
fulltext access Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride
Juarez Orozco Z.
École normale supérieure de Cachan - ENS Cachan (20/06/2008), Jean-Jacques Lesage (Dir.) [tel-00341969 - version 1]