TY  - THES
DP  - http://www.theses.fr/2008PA066211
TI  - Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents
AU  - Pajault, Christophe
A3  - Pradat-Peyre, Jean-François
PY  - 2008
SP  - 1 vol. (252 p.)
N1  - Thèse de doctorat Informatique Paris 6 2008
N1  - 2008PA066211
UR  - http://www.theses.fr/2008PA066211/document
ER  -