Verimag

bibtex

@inproceedings{BSS09,
    title = {Modeling synchronous systems in BIP },
    author = {Bozga, Marius and Sfyrla, Vassiliki and Sifakis, Joseph},
    year = {2009},
    booktitle = {Proceedings of the 9th ACM {&} IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009},
    pages = {77-86},
    publisher = {ACM},
    team = {DCS, RSD},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 790336