{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T23:02:09Z","timestamp":1754262129902},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020977","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"575-586","source":"Crossref","is-referenced-by-count":8,"title":["Diagnostic model-checking for real-time systems"],"prefix":"10.1007","author":[{"given":"Kim G.","family":"Laxsen","sequence":"first","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"2","key":"46_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. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183\u2013236, April 1994.","journal-title":"Theoretical Computer Science"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Uppaal\u2014a Tool Suite for Automatic Verification of Real-Time Systems. In Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, Lecture Notes in Computer Science, October 1995.","DOI":"10.1007\/BFb0020949"},{"key":"46_CR3","unstructured":"D. Bosscher, I. Polak, and F. Vaandrager. Verification of an Audio-Control Protocol. In Proc. of FTRTFT'94, volume 863 of Lecture Notes in Computer Science, 1993."},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"Nicolas Halbwachs. Delay Analysis in Synchronous Programs. Lecture Notes in Computer Science, 697, 1993. In Proc. of CAV'93.","DOI":"10.1007\/3-540-56922-7_28"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, Z. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. In Logic in Computer Science, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Pei-Hsin Ho and Howard Wong-Toi. Automated Analysis of an Audio Control Protocol. In Proc. of CAV'95, volume 939 of Lecture Notes in Computer Science. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60045-0_64"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"H. H\u00fcttel and K. G. Larsen. The use of static constructs in a modal process logic. Lecture Notes in Computer Science, Springer Verlag, 363, 1989.","DOI":"10.1007\/3-540-51237-3_14"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"F. Laroussinie and K.G. Larsen. Compositional Model Checking of Real Time Systems. In Proc. of CONCUR'95, Lecture Notes in Computer Science. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60218-6_3"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"F. Laroussinie and K.G. Larsen. From Timed Automata to Logic \u2014 and Back. In Proc. of MFCS'95, Lecture Notes in Computer Sciencie, 1995. Also BRICS report series RS-95-2.","DOI":"10.1007\/3-540-60246-1_158"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, P. Pettersson, and W. Yi. Compositional and Symbolic Model-Checking of Real-Time Systems. To appear in Proc. of the 16th IEEE Real-Time Systems Symposium, December 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"46_CR11","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-56922-7_18","volume":"697","author":"M. Yannakakis","year":"1993","unstructured":"Mihalis Yannakakis and David Lee. An efficient algorithm for minimizing real-time transition systems. In Proceedings of CAV'93, volume 697 of Lecture Notes in Computer Science, pages 210\u2013224, 1993.","journal-title":"Lecture Notes in Computer Science"},{"key":"46_CR12","unstructured":"Wang Yi, Paul Pettersson, and Mats Daniels. Autfomatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Proc. of the 7th International Conference on Formal Description Techniques, 1994."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:41:17Z","timestamp":1586580077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020977"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0020977","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}