bibtex

@inproceedings{HLR3,
    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, Netherlands},
    pages = {83-96},
    publisher = {{Springer London}},
    series = {Workshops in Computing},
    team = {SYNC, PACSS},
    pdf = {https://hal.science/hal-04683965/file/amast93-pp.pdf}, hal_id = {hal-04683965}, hal_version = {v1},
}

URL


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

info visites 4187443