@PHDTHESIS{dormo1997,
url = "
		http://www.theses.fr/1997BOR10628",
title = "Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales",
author = "Dormoy, Jérôme",
year = "1997",
pages = "1 vol. (179 p.)",
note = "Thèse de doctorat dirigée par Arnold, André Informatique Bordeaux 1 1997",
note = "1997BOR10628",
}