2384 articles – 24 references  [version française]
.:. Browse > List by authors > Annichini Collomb .:.
1 document
fulltext access Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre
Annichini Collomb A.
Université Joseph-Fourier - Grenoble I (12/12/2001), Bouajjani Ahmed (Dir.) [tel-00004334 - version 1]