@PHDTHESIS{malin2012,
url = "http://www.theses.fr/2012AIXM4780",
title = "Algorithmes pour la synthèse et le model checking",
author = "Malinowski, Janusz",
year = "2012",
note = "Thèse de doctorat dirigée par Niebert, Peter Informatique Aix-Marseille 2012",
note = "2012AIXM4780",
url = "http://www.theses.fr/2012AIXM4780/document",
}