TY - THES DP - http://www.theses.fr/2011GRENM022 TI - Modélisation des systèmes synchrones en BIP AU - Sfyrla, Vasiliki A3 - Sifakis, Joseph; Bozga, Marius PY - 2011 N1 - Thèse de doctorat Informatique Grenoble 2011 N1 - 2011GRENM022 UR - http://www.theses.fr/2011GRENM022/document ER -