@PHDTHESIS{Wang2005,
url = "
		http://www.theses.fr/2005EVRY0011",
title = "Systèmes multi-agents adaptatifs avec contraintes temps-réel : De la spécification formelle à la vérification et à la génération de code",
author = "Wang, Dong Hue",
year = "2005",
pages = "1 vol. (132 p.)",
note = "Thèse de doctorat dirigée par Le Gall, Pascale Informatique Evry-Val d'Essonne 2005",
note = "2005EVRY0011",
}