{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:57Z","timestamp":1725494697223},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_20","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:26:02Z","timestamp":1194956762000},"page":"240-251","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Logical Characterisation of Event Recording Automata"],"prefix":"10.1007","author":[{"given":"Deepak","family":"D\u2019Souza","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D. L. Dill: A theory of timed automata, Theoretical Computer Science 126:183\u2013235 (1994).","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Event-clock automata: a determinizable class of timed automata","author":"R. Alur","year":"1994","unstructured":"R. Alur, L. Fix, T. A. Henzinger: Event-clock automata: a determinizable class of timed automata, Proc. 6th International Conference on Computer-aided Verification, LNCS 818, 1\u201313, Springer-Verlag (1994)."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, T. A. Henzinger: Real-time logics: complexity and expressiveness, Infor-mation and Computation 104, 35\u201377 (1993).","journal-title":"Infor-mation and Computation"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J. R. B\u00fcchi","year":"1960","unstructured":"J. R. B\u00fcchi: Weak second-order arithmetic and finite automata, Zeitschrift f\u00fcr Math. Logik und Grundlagen der Mathematik, 6, 66\u201392 (1960).","journal-title":"Zeitschrift f\u00fcr Math. Logik und Grundlagen der Mathematik"},{"key":"20_CR5","unstructured":"D. D\u2019Souza, T. Hune: An on-the-fly Construction for an Event Clock Logic, Manuscript (1999)."},{"key":"20_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Product Interval Automata: A Subclass of Timed Automata","author":"D. D\u2019Souza","year":"1999","unstructured":"D. D\u2019Souza, P. S. Thiagarajan: Product Interval Automata: A Subclass of Timed Automata, Proc. 19th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), LNCS 1732 (1999)."},{"key":"20_CR7","unstructured":"A. W. H. Kamp: Tense Logic and the Theory of Linear Order, PhD Thesis, University of California (1968)."},{"key":"20_CR8","unstructured":"D. Gabbay, A. Pnueli, S. Shelah, J. Stavi: The Temporal Analysis of Fairness, Seventh ACM Symposium on Principles of Programming Languages, 163\u2013173, (1980)."},{"key":"20_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1007\/BFb0055086","volume-title":"The regular real-time languages","author":"T. A. Henzinger","year":"1998","unstructured":"T. A. Henzinger, J.-F. Raskin, and P.-Y. Schobbens: The regular real-time languages, Proc. 25th International Colloquium on Automata, Languages, and Programming 1998, LNCS 1443, 580\u2013591 (1998)."},{"key":"20_CR10","unstructured":"J.-F. Raskin: Logics, Automata and Classical Theories for Deciding Real Time, Ph.D Thesis, FUNDP, Belgium."},{"key":"20_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BFb0014711","volume-title":"State-clock Logic: A Decidable Real-Time Logic","author":"J.-F. Raskin","year":"1997","unstructured":"J.-F. Raskin, P.-Y. Schobbens: State-clock Logic: A Decidable Real-Time Logic, Proc. HART\u2019 97: Hybrid and Real-Time Systems, LNCS 1201, 33\u201347 (1997)."},{"key":"20_CR12","first-page":"133","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"W. Thomas: Automata on Infinite Objects, in J. V. Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, 133\u2013191, Elsevier Science Publ., Amsterdam (1990)."},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1007\/3-540-58468-4_191","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Th. Wilke","year":"1994","unstructured":"Th. Wilke: Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata, in Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 694\u2013715 (1994)."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:47:28Z","timestamp":1558262848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}