{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:16:41Z","timestamp":1725495401113},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_5","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:56:57Z","timestamp":1194973017000},"page":"59-73","source":"Crossref","is-referenced-by-count":4,"title":["Timed Diagnostics for Reachability Properties"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D. L. Dill. Model checking in dense real time. Information and Computation, 104(1):2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, R. P. Kurshan, and M. Viswanathan. Membership questions for timed and hybrid automata. In RTSS\u201998, 1998.","DOI":"10.1109\/REAL.1998.739751"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic model checking for real-time systems. In Proc. of the 18th IEEE Real-Time Systems Symposium, San Francisco, CA, pages 232\u2013243. IEEE, December 1997.","DOI":"10.1109\/REAL.1997.641266"},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","first-page":"197","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D. L. Dill","year":"1989","unstructured":"D. L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197\u2013212. Springer-Verlag, 1989."},{"key":"5_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III, Verification and Control","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208\u2013219. Springer-Verlag, 1996."},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems\u2019 98, Lisbon, Portugal","author":"C. Daws","year":"1998","unstructured":"C. Daws and S. Tripakis. Model checking of real-time reachability properties using abstractions. In Tools and Algorithms for the Construction and Analysis of Systems\u2019 98, Lisbon, Portugal, volume 1384 of LNCS. Springer-Verlag, 1998."},{"issue":"2","key":"5_CR7","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":"5_CR8","doi-asserted-by":"crossref","unstructured":"K. Havelund, A. Skou, K. Larsen, and K. Lund. Formal modelling and analysis of an audio\/video protocol: An industrial case study using Uppaal. In Proceedings of the 18th IEEE Real-Time Systems Symposium San Francisco, CA, pages 2\u201313, December 1997.","DOI":"10.1109\/REAL.1997.641264"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"K. Larsen, P. Pettersson, and W. Yi. Diagnostic model-checking for real-time systems. In 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.","DOI":"10.7146\/brics.v3i57.18682"},{"key":"5_CR10","unstructured":"S. Yovine. M\u00e9thodes et outils pour la v\u00e9rification symbolique de syst\u00e8mes temporis\u00e9s. PhD thesis, Institut National Polytechnique de Grenoble, 1993. In french."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:15:33Z","timestamp":1684073733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}