TY  - THES
DP  - http://www.theses.fr/2011GRENMO12
TI  - Langages modernes pour la modélisation et la vérification des systèmes asynchrones
AU  - Thivolle, Damien
A3  - Garavel, Hubert; Cristea, Valentin
PY  - 2011
N1  - Thèse de doctorat Informatique Grenoble 2011
N1  - Thèse de doctorat Informatique Universitatea politehnica (Bucarest) 2011
N1  - 2011GRENMO12
UR  - http://www.theses.fr/2011GRENMO12/document
ER  -