2411 articles – 24 Notices  [english version]
.:. Consultation > Liste par auteurs > 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]