Verimag

bibtex

@inproceedings{HB02,
    title = { Synchronous modeling of asynchronous systems },
    author = {Halbwachs, Nicolas and Baghdadi, Siwar},
    month = {oct},
    year = {2002},
    booktitle = {ACM Conference on Embedded Systems Software, EMSOFT'02},
    publisher = {LNCS 2491, Springer Verlag},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 895480