431 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Base de données .:.
1 document
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]