bibtex

@inproceedings{BSS9,
    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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4086057