Verimag

bibtex

@inproceedings{DHJ+08,
    title = {Interface theories with component reuse },
    author = {Doyen, Laurent and Henzinger, Thomas A. and Jobstmann, Barbara and Petrov, Tatjana},
    year = {2008},
    booktitle = {Proceedings of the 8th ACM {\&} IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008},
    pages = {79-88},
    publisher = {ACM},
    team = {DCS},
}

Publication Sections


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

info visites 776626