{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:03Z","timestamp":1725456363642},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646082"},{"type":"electronic","value":"9783540693390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028778","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:48:09Z","timestamp":1133419689000},"page":"542-545","source":"Crossref","is-referenced-by-count":2,"title":["Optikron: A tool suite for enhancing model-checking of real-time systems"],"prefix":"10.1007","author":[{"given":"Conrado","family":"Daws","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"53_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 and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"53_CR2","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, S. Tipakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, pages 208\u2013219. Lecture Notes in Computer Science 1066, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020947"},{"key":"53_CR3","volume-title":"Proc. of TACAS'98","author":"C. Daws","year":"1998","unstructured":"C. Daws and S. Tripakis. Model-checking of real-time reachability properties using abstractions. In B. Steffen, editor, Proc. of TACAS'98, Lisbon, Portugal, 31 march\u20132 April 1998. Springer Verlag, LNCS 1384."},{"key":"53_CR4","volume-title":"Proc. 1996 IEEE Real-Time Systems Symposium, RTSS'96","author":"C. Daws","year":"1996","unstructured":"C. Daws and S. Yovine. Reducing the number of clock variables of timed automata. In Proc. 1996 IEEE Real-Time Systems Symposium, RTSS'96, Washington, DC, USA, December 1996. IEEE Computer Society Press."},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"K. Larsen, F. Larsson, P. Pettersson, and W. Yi. Efficient verification of real-time systems: Compact data structure and state-space reduction. In Proc. of the 18th IEEE Real-Time Systems Symposium, 1997.","DOI":"10.1109\/REAL.1997.641265"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"K. Larsen, P. Pettersson, and W. Yi. Uppaal: Status & developments. In Proceedings of CAV'97, Haifa, Israel, 22\u201325 June 1997.","DOI":"10.1007\/3-540-63166-6_47"},{"key":"53_CR7","doi-asserted-by":"crossref","unstructured":"J. Springintveld and F. Vaandrager. Minimizable timed automata. In B. Jonsson and J. Parrow, editors, Proc. of the 4th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), volume 1135 of Lecture Notes in Computer Science, pages 130-147, Uppsala, Sweden, 1996. Springer-Verlag.","DOI":"10.1007\/3-540-61648-9_38"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T04:55:53Z","timestamp":1549428953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646082","9783540693390"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0028778","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}