The theory of timed automata. Alur, R. & Dill, D. In Goos, G., Hartmanis, J., De Bakker, J. W., Huizing, C., De Roever, W. P., & Rozenberg, G., editors, Real-Time: Theory in Practice, volume 600, pages 45–73. Springer Berlin Heidelberg, Berlin, Heidelberg, 1992. Series Title: Lecture Notes in Computer Science![The theory of timed automata [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @incollection{goos_theory_1992,
address = {Berlin, Heidelberg},
title = {The theory of timed automata},
volume = {600},
isbn = {978-3-540-55564-3 978-3-540-47218-6},
url = {http://link.springer.com/10.1007/BFb0031987},
language = {en},
urldate = {2023-04-21},
booktitle = {Real-{Time}: {Theory} in {Practice}},
publisher = {Springer Berlin Heidelberg},
author = {Alur, Rajeev and Dill, David},
editor = {Goos, Gerhard and Hartmanis, Juris and De Bakker, J. W. and Huizing, C. and De Roever, W. P. and Rozenberg, G.},
year = {1992},
doi = {10.1007/BFb0031987},
note = {Series Title: Lecture Notes in Computer Science},
pages = {45--73},
}
Downloads: 0
{"_id":"vBKNWEpGWZXLwj4er","bibbaseid":"alur-dill-thetheoryoftimedautomata-1992","author_short":["Alur, R.","Dill, D."],"bibdata":{"bibtype":"incollection","type":"incollection","address":"Berlin, Heidelberg","title":"The theory of timed automata","volume":"600","isbn":"978-3-540-55564-3 978-3-540-47218-6","url":"http://link.springer.com/10.1007/BFb0031987","language":"en","urldate":"2023-04-21","booktitle":"Real-Time: Theory in Practice","publisher":"Springer Berlin Heidelberg","author":[{"propositions":[],"lastnames":["Alur"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Dill"],"firstnames":["David"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Goos"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Hartmanis"],"firstnames":["Juris"],"suffixes":[]},{"propositions":[],"lastnames":["De","Bakker"],"firstnames":["J.","W."],"suffixes":[]},{"propositions":[],"lastnames":["Huizing"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["De","Roever"],"firstnames":["W.","P."],"suffixes":[]},{"propositions":[],"lastnames":["Rozenberg"],"firstnames":["G."],"suffixes":[]}],"year":"1992","doi":"10.1007/BFb0031987","note":"Series Title: Lecture Notes in Computer Science","pages":"45–73","bibtex":"@incollection{goos_theory_1992,\n\taddress = {Berlin, Heidelberg},\n\ttitle = {The theory of timed automata},\n\tvolume = {600},\n\tisbn = {978-3-540-55564-3 978-3-540-47218-6},\n\turl = {http://link.springer.com/10.1007/BFb0031987},\n\tlanguage = {en},\n\turldate = {2023-04-21},\n\tbooktitle = {Real-{Time}: {Theory} in {Practice}},\n\tpublisher = {Springer Berlin Heidelberg},\n\tauthor = {Alur, Rajeev and Dill, David},\n\teditor = {Goos, Gerhard and Hartmanis, Juris and De Bakker, J. W. and Huizing, C. and De Roever, W. P. and Rozenberg, G.},\n\tyear = {1992},\n\tdoi = {10.1007/BFb0031987},\n\tnote = {Series Title: Lecture Notes in Computer Science},\n\tpages = {45--73},\n}\n\n\n\n","author_short":["Alur, R.","Dill, D."],"editor_short":["Goos, G.","Hartmanis, J.","De Bakker, J. W.","Huizing, C.","De Roever, W. P.","Rozenberg, G."],"key":"goos_theory_1992","id":"goos_theory_1992","bibbaseid":"alur-dill-thetheoryoftimedautomata-1992","role":"author","urls":{"Paper":"http://link.springer.com/10.1007/BFb0031987"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/matteocarde","dataSources":["BLJPWpPi3hneTGaPF"],"keywords":[],"search_terms":["theory","timed","automata","alur","dill"],"title":"The theory of timed automata","year":1992}