bibtex

@inproceedings{ACD+92,
    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},
}


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

info visites 4190077