Verimag

bibtex

@inproceedings{ACH+92,
    title = {Minimization of timed transition systems (extended abstract) },
    author = {Alur, Rajeev and Courcoubetis, Costas and Halbwachs, Nicolas and Dill, David and Wong-Toi, Howard},
    month = {jun},
    year = {1992},
    booktitle = {CONCUR'92},
    address = {Stony Brook, NY},
    team = {SYNC},
}

Publication Sections


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

info visites 894412