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


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

info visites 4137649