TY  - THES
DP  - 
		http://www.theses.fr/1991REN10040
TI  - Contribution a la validation des protocoles : test d'infinitude et verification a la volee
AU  - Jéron, Thierry
A3  - Raynal, Michel
PY  - 1991
SP  - 1 vol (171 p.)
N1  - Thèse de doctorat Informatique Rennes 1 1991
N1  - 1991REN10040
ER  -