{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:43Z","timestamp":1725455923227},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626169"},{"type":"electronic","value":"9783540683421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023491","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:06:33Z","timestamp":1132383993000},"page":"583-594","source":"Crossref","is-referenced-by-count":16,"title":["Removing \u03b5-transitions in timed automata"],"prefix":"10.1007","author":[{"given":"Volker","family":"Diekert","sequence":"first","affiliation":[]},{"given":"Paul","family":"Gastin","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Petit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D.L. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In Proceedings of CONCUR '92, number 630 in Lecture Notes in Computer Science. Springer Verlag, 1992.","DOI":"10.1007\/BFb0084802"},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In Proceedings of ICALP'90, number 443 in Lecture Notes in Computer Science, pages 322\u2013335. Springer Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"48_CR3","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 and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, L. Fix, and T.A. Henzinger. A determinizable class of timed automata. In Proceedings of CAV'94, number 818 in Lecture Notes in Computer Science, pages 1\u201313. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_39"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Back to the future: towards a theory of timed regular languages. In Proceedings of FOCS'92, Lecture Notes in Computer Science, pages 177\u2013186. Springer Verlag, 1992.","DOI":"10.1109\/SFCS.1992.267774"},{"key":"48_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0020-0190(95)00077-P","volume":"55","author":"B. B\u00e9rard","year":"1995","unstructured":"B. B\u00e9rard. Untiming timed languages. Information Processing Letters, 55:129\u2013135, 1995.","journal-title":"Information Processing Letters"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"B. B\u00e9rard, P. Gastin, and A. Petit. On the power of non observable actions in timed automata. In Proceedings of STACS'96, number 1046 in Lecture Notes in Computer Science, pages 257\u2013268. Springer Verlag, 1996.","DOI":"10.1007\/3-540-60922-9_22"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proceedings of CAV'91, number 575 in Lecture Notes in Computer Science, pages 399\u2013409. Springer Verlag, 1991.","DOI":"10.1007\/3-540-55179-4_37"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, and H. Wong-Toi. The expressive power of clocks. In Proceedings of ICALP'95, number 944 in Lecture Notes in Computer Science, pages 335\u2013346. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_93"},{"issue":"2","key":"48_CR10","doi-asserted-by":"publisher","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":"48_CR11","doi-asserted-by":"crossref","unstructured":"T. Wilke. Specifying timed state sequences in powerful decidable logics and timed automata. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_191"},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proceedings of the 30th IEEE Conf. on Decision and Control, pages 1527\u20131528, 1991.","DOI":"10.1109\/CDC.1991.261658"}],"container-title":["Lecture Notes in Computer Science","STACS 97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:31:58Z","timestamp":1586568718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626169","9783540683421"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0023491","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}