550 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Logique en informatique .:.
2 documents classés par :

fulltext access Spécification et vérification de propriétés quantitatives : expressions, logiques et automates
Monmege B.
École normale supérieure de Cachan - ENS Cachan (2013-10-24), Paul Gastin (Dir.) [tel-00908990 - version 1]
fulltext access Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis
Jacquemard F.
École normale supérieure de Cachan - ENS Cachan (10/11/2011), Denis Lugiez (Pr.) [tel-00643595 - version 1]