TY  - THES
DP  - 
		http://www.theses.fr/2004EVRY0016
TI  - Validation de spécifications à base d'automates par des techniques de dépliage et d'exécution
AU  - Rapin, Nicolas
A3  - Le Gall, Pascale
PY  - 2004
SP  - 1 vol. (167 p.)
N1  - Thèse de doctorat Informatique Evry-Val d'Essonne 2004
N1  - 2004EVRY0016
ER  -