@PHDTHESIS{bozga1999,
url = "
		http://www.theses.fr/1999GRE10251",
title = "Vérification symbolique pour les protocoles de communication",
author = "Bozga, Marius",
year = "1999",
pages = "1 vol. (189 p.)",
note = "Thèse de doctorat dirigée par Fernandez, Jean-Claude Informatique Grenoble 1 1999",
note = "1999GRE10251",
}