Verimag

bibtex

@inproceedings{SBM07,
    title = {On timed components and their abstraction },
    author = {Salah, Ramzi Ben and Bozga, Marius and Maler, Oded},
    year = {2007},
    booktitle = {SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems},
    address = {New York, NY, USA},
    pages = {63--71},
    publisher = {ACM},
    team = {DCS, TEMPO},
    location = {Dubrovnik, Croatia},
}

Publication Sections


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

info visites 914749