{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:25:12Z","timestamp":1725488712521},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668367"},{"type":"electronic","value":"9783540466918"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-46691-6_4","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T20:42:24Z","timestamp":1186692144000},"page":"47-59","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Renaming Is Necessary in Timed Regular Expressions"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Herrmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Proceedings of ICALP\u201990","author":"R. Alur","year":"1990","unstructured":"R. Alur and D.L. Dill: Automata for Modelling Real-Time Systems. Proceedings of ICALP\u201990, LNCS 443, pages 322\u2013335, 1990. 49"},{"key":"4_CR2","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, pages 183\u2013235, 1994. 47","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","unstructured":"E. Asarin, P. Caspi and O. Maler: A Kleene Theorem for Timed Automata. Proceedings of LICS\u201997, pages 160\u2013170, 1997. 47, 47, 47, 48, 50, 52, 53, 58"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B. B\u00e9rard","year":"1998","unstructured":"B. B\u00e9rard, V. Diekert, P. Gastin and A. Petit: Characterization of the Expressive Power of Silent Transitions in Timed Automata. Fundamenta Informatic\u0153 36, pages 145\u2013182, 1998. 50","journal-title":"Fundamenta Informatic\u0153"},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BFb0023491","volume-title":"Proceedings of STACS\u201997","author":"V. Diekert","year":"1997","unstructured":"V. Diekert, P. Gastin and A. Petit: Removing \u03b5-Transitions in Timed Automata. Proceedings of STACS\u201997, LNCS 1200, pages 583\u2013594, 1997."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/S0020-0190(97)00217-2","volume":"65","author":"P. Herrmann","year":"1998","unstructured":"P. Herrmann: Timed Automata and Recognizability. Information Processing Letters 65, pages 313\u2013318, 1998. 50, 51","journal-title":"Information Processing Letters"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S.C. Kleene, Representations of Events in Nerve Nets and Finite Automata. Automata Studies, pages 3\u201342, 1956. 47","DOI":"10.1515\/9781400882618-002"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46691-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T19:19:25Z","timestamp":1587842365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46691-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668367","9783540466918"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-46691-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}