@PHDTHESIS{salse1997,
url = "
		http://www.theses.fr/1997ENPC9711",
title = "Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée",
author = "Salset, Thierry",
year = "1997",
pages = "1 vol.(134 p.)§cill§d29cm",
note = "Thèse de doctorat dirigée par Lalement, René Sciences appliquées Marne-la-vallée, ENPC 1997",
note = "1997ENPC9711",
}