TY  - THES
DP  - 
		http://www.theses.fr/1991NAN10115
TI  - Specification, verification et raffinement de reseaux de processus communicants
AU  - CARREZ, FRANCOIS
A3  - Méry, Dominique
PY  - 1991
N1  - Thèse de doctorat Sciences appliquées Nancy 1 1991
N1  - 1991NAN10115
ER  -