TY  - THES
DP  - 
		http://www.theses.fr/1996REN10124
TI  - Verification de protocoles a espace d'etats infini representable par une grammaire de graphes
AU  - Quemener, Yves-Marie
A3  - JARO, C.
PY  - 1996
SP  - 162 P.
N1  - Thèse de doctorat Informatique Rennes 1 1996
N1  - 1996REN10124
ER  -