{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:24:21Z","timestamp":1774365861303,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020949","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"232-243","source":"Crossref","is-referenced-by-count":350,"title":["UPPAAL \u2014 a tool suite for automatic verification of real-time systems"],"prefix":"10.1007","author":[{"given":"Johan","family":"Bengtsson","sequence":"first","affiliation":[]},{"given":"Kim","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Fredrik","family":"Larsson","sequence":"additional","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":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. An Old-Fashioned Recipe for Real Time. Lecture Notes in Computer Science, 600, 1993.","DOI":"10.1007\/BFb0031985"},{"key":"18_CR2","unstructured":"R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Proc. of ICALP'90, volume 443, 1990."},{"key":"18_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":"18_CR4","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":"18_CR5","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":"18_CR6","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":"18_CR7","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. Diagnostic Model-Checking for 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\/BFb0020977"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. Model-Checking for Real-Time Systems. In Proc. of Fundamentals of Computation Theory, 1995.","DOI":"10.1007\/3-540-60249-6_41"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"A. Olivero, J. Sifakis, and S. Yovine. Using Abstractions for the Verification of Linear Hybrids Systems. In Proc. of CAV'94, volume 818 of Lecture Notes in Computer Science, 1994.","DOI":"10.1007\/3-540-58179-0_45"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"N. Shankar. Verification of Real-Time Systems Using PVS. In Proc. of CAV'93., volume 697, 1993.","DOI":"10.1007\/3-540-56922-7_23"},{"key":"18_CR11","unstructured":"C.E. Leiserson T.H. Cormen and R.L. Rives. Introduction to ALGORITHMS. MIT Press, McGraw-Hil, 1990."},{"key":"18_CR12","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-56922-7_18"},{"key":"18_CR13","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\/BFb0020949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:45:54Z","timestamp":1683301554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0020949","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}