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},
}


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

info visites 4137640