Recherche
THÈSE - Imagine
V Equivalence des automates finis et des expressions régulières. 45. 1. Tout langage régulier est reconnu par un automate fini .
Télécharger THÈSE - Imagine pdf
Concepts et Model Checking