@inproceedings{614944,
    Author = {Asarin, E. and Caspi, P. and Maler, O.},
    BookTitle = {Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science},
    File = {kleene (0) - a - a - a.pdf},
    ISSN = {1043-6871},
    Keywords = {automata theory;{$\omega$}-regular expressions;Kleene theorem;dense-time discrete-valued signals;expressive power;timed automata;timed regular expressions;Algebra;Automata;Clocks;Concurrent computing;Equations;Logic functions;Real time systems},
    Month = {Jun},
    Pages = {160-171},
    Title = {A Kleene theorem for timed automata},
    Year = {1997},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.1997.614944},
    date-added = {2018-07-14 13:31:22 +0000},
    date-modified = {2018-07-14 13:31:22 +0000},
    doi = {10.1109/LICS.1997.614944}
}

@inproceedings{614944, Author = {Asarin, E. and Caspi, P. and Maler, O.}, BookTitle = {Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science}, File = {kleene (0) - a - a - a.pdf}, ISSN = {1043-6871}, Keywords = {automata theory;{$\omega$}-regular expressions;Kleene theorem;dense-time discrete-valued signals;expressive power;timed automata;timed regular expressions;Algebra;Automata;Clocks;Concurrent computing;Equations;Logic functions;Real time systems}, Month = {Jun}, Pages = {160-171}, Title = {A Kleene theorem for timed automata}, Year = {1997}, bdsk-url-1 = {https://doi.org/10.1109/LICS.1997.614944}, date-added = {2018-07-14 13:31:22 +0000}, date-modified = {2018-07-14 13:31:22 +0000}, doi = {10.1109/LICS.1997.614944} }