@PHDTHESIS{sfyrl2011,
url = "http://www.theses.fr/2011GRENM022",
title = "Modélisation des systèmes synchrones en BIP",
author = "Sfyrla, Vasiliki",
year = "2011",
note = "Thèse de doctorat dirigée par Sifakis, Joseph et Bozga, Marius Informatique Grenoble 2011",
note = "2011GRENM022",
url = "http://www.theses.fr/2011GRENM022/document",
}