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},
}


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

info visites 4137660