@PHDTHESIS{qayyu2009,
url = "
		http://www.theses.fr/2009LORIS139",
title = "Concrétisation des architectures logicielles à l'aide d'un langage formel : vers les langages dédiés au développement formel fondés sur π-ADL",
author = "Qayyum, Zawar",
year = "2009",
pages = "1 vol. (110 p.)",
note = "Thèse de doctorat dirigée par Oquendo, Flavio Informatique et applications Lorient 2009",
note = "2009LORIS139",
}