@PHDTHESIS{lecor2016,
url = "http://www.theses.fr/2016SACLE019",
title = "Analyse de systèmes modulaires à l'aide de techniques d'abstractions hiérarchiques",
author = "Le Cornec, Yves-Stan",
year = "2016",
note = "Thèse de doctorat dirigée par Pommereau, Franck Informatique Université Paris-Saclay (ComUE) 2016",
note = "2016SACLE019",
url = "http://www.theses.fr/2016SACLE019/document",
}