@PHDTHESIS{cousi1987,
url = "
		http://www.theses.fr/1987PA066322",
title = "Methodologie de validation des systemes structures en couches par reseaux de petri : application au protocole transport",
author = "Cousin, Bernard",
year = "1987",
pages = "1 vol. (300 P.)",
note = "Thèse de doctorat dirigée par GIRAULT, CLAUDE Sciences appliquées Paris 6 1987",
note = "1987PA066322",
}