Verimag

bibtex

@inproceedings{Hal98a,
    title = { Synchronous programming of reactive systems, a tutorial and commented bibliography },
    author = {Halbwachs, Nicolas},
    month = {jun},
    year = {1998},
    booktitle = {Tenth International Conference on Computer-Aided Verification, CAV'98},
    address = {Vancouver (B.C.)},
    publisher = {LNCS 1427, Springer Verlag},
    team = {SYNC},
}

URL

Publication Sections


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

Logged in visitors: 14 ; visits: 440962