| emsoft | participants

Vassiliki Sfyrla

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Modeling Synchronous Systems in BIP

Marius Bozga, Vassiliki Sfyrla, and Joseph Sifakis