A Kleene Theorem for Timed Automata. Asarin, E., Caspi, P., & Maler, O. In Proceedings of Logic in Computer Science (LICS), pages 160-171, 1997. ![A Kleene Theorem for Timed Automata [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4196237,
title = {A Kleene Theorem for Timed Automata},
author = {Eugene Asarin and Paul Caspi and Oded Maler},
author_short = {Asarin, E. and Caspi, P. and Maler, O.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1997},
key = {dblp4196237},
id = {dblp4196237},
biburl = {http://www.dblp.org/rec/bibtex/conf/lics/AsarinCM97},
url = {http://dx.doi.org/10.1109/LICS.1997.614944},
conference = {LICS},
pages = {160-171},
text = {LICS 1997:160-171},
booktitle = {Proceedings of Logic in Computer Science (LICS)}
}
Downloads: 0
{"_id":"Y3rs8oCno89oRTfPe","bibbaseid":"asarin-caspi-maler-akleenetheoremfortimedautomata-1997","downloads":0,"creationDate":"2015-07-05T11:05:40.285Z","title":"A Kleene Theorem for Timed Automata","author_short":["Asarin, E.","Caspi, P.","Maler, O."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/AsarinCM97","bibdata":{"title":"A Kleene Theorem for Timed Automata","author":["Eugene Asarin","Paul Caspi","Oded Maler"],"author_short":["Asarin, E.","Caspi, P.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"1997","key":"dblp4196237","id":"dblp4196237","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/AsarinCM97","url":"http://dx.doi.org/10.1109/LICS.1997.614944","conference":"LICS","pages":"160-171","text":"LICS 1997:160-171","booktitle":"Proceedings of Logic in Computer Science (LICS)","bibtex":"@inproceedings{ dblp4196237,\n title = {A Kleene Theorem for Timed Automata},\n author = {Eugene Asarin and Paul Caspi and Oded Maler},\n author_short = {Asarin, E. and Caspi, P. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1997},\n key = {dblp4196237},\n id = {dblp4196237},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/AsarinCM97},\n url = {http://dx.doi.org/10.1109/LICS.1997.614944},\n conference = {LICS},\n pages = {160-171},\n text = {LICS 1997:160-171},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","bibbaseid":"asarin-caspi-maler-akleenetheoremfortimedautomata-1997","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/LICS.1997.614944"},"downloads":0},"search_terms":["kleene","theorem","timed","automata","asarin","caspi","maler"],"keywords":[],"authorIDs":[],"dataSources":["bFmsf4TaE7EatsPbc"]}