@PHDTHESIS{jéron1991,
url = "
		http://www.theses.fr/1991REN10040",
title = "Contribution a la validation des protocoles : test d'infinitude et verification a la volee",
author = "Jéron, Thierry",
year = "1991",
pages = "1 vol (171 p.)",
note = "Thèse de doctorat dirigée par Raynal, Michel Informatique Rennes 1 1991",
note = "1991REN10040",
}