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


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

info visites 4194029