title = {An implementation of three algorithms for timing verification based on automata emptiness },
    author = {Alur, Rajeev and Courcoubetis, Costas and Dill, David and Halbwachs, Nicolas and Wong-Toi, Howard},
    month = {dec},
    year = {1992},
    booktitle = {13th IEEE Real-Time Systems Symposium},
    address = {Phoenix, Az},
    team = {SYNC},

Sections de Publications

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

info visites 1630435