@PHDTHESIS{aïtsa2010,
url = "
		http://www.theses.fr/2010ESMA0016",
title = "Modélisation et vérification formelles de compositions de services",
author = "Aït-Sadoune, Idir",
year = "2010",
pages = "1 vol. (XII-211 p.)",
note = "Thèse de doctorat dirigée par Aït-Ameur, Yamine Informatique et application Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique 2010",
note = "2010ESMA0016",
}