@PHDTHESIS{medei1997, url = " http://www.theses.fr/1997TOU30027", title = "Contrôle d'exécution pour robots mobiles autonomes : architecture, spécification et validation", author = "Medeiros, Adelardo Adelino Dantas de", year = "1997", pages = "1 vol. (VIII-134 f.)", note = "Thèse de doctorat dirigée par Giralt, Georges Robotique Toulouse 3 1997", note = "1997TOU30027", }