@PHDTHESIS{oudot2006,
url = "
		http://www.theses.fr/2006BESA2051",
title = "Contributions à la vérification incrémentale des systèmes temporisés à composants",
author = "Oudot, Emilie",
year = "2006",
pages = "1 vol. (162 p.)",
note = "Thèse de doctorat dirigée par Julliand, Jacques et Mountassir, Hassan Informatique Besançon 2006",
note = "2006BESA2051",
}