@PHDTHESIS{fayol2017,
url = "http://www.theses.fr/2017PESC1078",
title = "Combinaison de méthodes formelles pour la spécification de systèmes industriels",
author = "Fayolle, Thomas",
year = "2017",
note = "Thèse de doctorat dirigée par Laleau, Régine et Frappier, Marc Informatique Paris Est 2017",
note = "Thèse de doctorat Informatique Université de Sherbrooke (Québec, Canada) 2017",
note = "2017PESC1078",
url = "http://www.theses.fr/2017PESC1078/document",
}