@phdthesis{Sfy11b,
title = { {Modeling Synchronous Systems in BIP} },
author = {Sfyrla, Vasiliki Sfyrla},
month = {Jun},
year = {2011},
type = {Theses},
number = {2011},
school = {{Universit{\'e} de Grenoble}},
team = {DCS, RSD},
keywords = {Systems synchrones ; Components ; Modeling ; Simulation ; Validation ; Composants ; Syst{\`e}mes synchrones ; Modelisation},
pdf = {https://tel.archives-ouvertes.fr/tel-00688253/file/19716_SFYRLA_2011_archivage_1_.pdf},
}
