TY  - THES
DP  - 
		http://www.theses.fr/1989PA077203
TI  - Verification automatique de programmes esterel
AU  - LECOMPTE, VALERIE
A3  - Nivat, Maurice
PY  - 1989
N1  - Thèse de doctorat Sciences appliquées Paris 7 1989
N1  - 1989PA077203
ER  -