Verimag

bibtex

@inproceedings{HLR93,
    title = { Synchronous observers and the verification of reactive systems },
    author = {Halbwachs, Nicolas and Lagnier, Fabienne and Raymond, Pascal},
    month = {jun},
    year = {1993},
    booktitle = {Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93},
    address = {Twente},
    publisher = {Workshops in Computing, Springer Verlag},
    team = {SYNC},
}

URL

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 7 ; visits: 460707