{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:09:52Z","timestamp":1736140192106,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626008"},{"type":"electronic","value":"9783540683308"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/bfb0014716","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:12:52Z","timestamp":1132737172000},"page":"81-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Comparing timed c\/e systems with timed automata (abstract)"],"prefix":"10.1007","author":[{"given":"R.","family":"Huuck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Lakhnech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Urbina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Engell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kowalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Preu\u00dfig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill. Model Checking for Real-Time Systems. In LICS'90, pages 414\u2013425. 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126:183\u2013235, 1994.","journal-title":"TCS"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"A. Bouajjani and Y. Lakhnech. Temporal Logic + Timed Automata: Expressiveness and Decidability. In LNCS 962, pages 531\u2013546. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60218-6_40"},{"key":"10_CR4","unstructured":"S. Engell. S. Kowalewski, B. Krogh, and J. Preu\u00dfig. Condition\/Event Systems: A Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. In EUROSIM'95, 1995."},{"issue":"2","key":"10_CR5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger. X. Nicollin. J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"R.S. Sreenivas and B.H. Krogh. On Condition\/Event Systems with Discrete State Realizations. In Discrete Event Dynamic Systems 1, pages 209\u2013236. Boston, 1991.","DOI":"10.1007\/BF01805563"},{"key":"10_CR7","unstructured":"T. Wilke. Automaten und Logiken zur Beschreibung zeitabh\u00e4ngiger Systeme. PhD thesis. Institut f\u00fcr Informatik und Praktische Informatik. Universit\u00e4t Kiel, 1994."}],"container-title":["Lecture Notes in Computer Science","Hybrid and Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:49:31Z","timestamp":1736113771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014716"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626008","9783540683308"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0014716","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}