@PHDTHESIS{barbu2005,
url = "
		http://www.theses.fr/2005PA120008",
title = "Developing mobile agents through a formal approach",
author = "Barbu, Andreea",
year = "2005",
pages = "1 vol. (180 p.)",
note = "Thèse de doctorat dirigée par Best, Eike et Pelz, Elisabeth Informatique Paris 12 2005",
note = "Thèse de doctorat Informatique Oldenburg, Carl v. Ossietzky Universität 2005",
note = "2005PA120008",
}