bibtex

@inproceedings{AMC97,
    title = {A {K}leene Theorem for Timed Automata },
    author = {Asarin, Eugene and Maler, Oded and Caspi, Paul},
    year = {1997},
    booktitle = {Proc. Logic in Computer Science, LICS'97},
    pages = {160-171},
    publisher = {IEEE},
    team = {SYNC},
}


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

info visites 3900646