{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330379,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610427"},{"type":"electronic","value":"9783540498742"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61042-1_66","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:11:54Z","timestamp":1330290714000},"page":"431-434","source":"Crossref","is-referenced-by-count":27,"title":["Uppaal in 1995"],"prefix":"10.1007","author":[{"given":"Johan","family":"Bengtsson","sequence":"first","affiliation":[]},{"given":"Kim G.","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,2]]},"reference":[{"key":"33_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":"33_CR2","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. Steam-boiler control specification problem. June 1995. International Seminar on Methods for Semantics and Specification.","DOI":"10.1007\/BFb0027252"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, David Griffioen, K\u00e5re Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Verification of an Audio Protocol with Bus Collision Using Uppaal. Submitted for publication, 1996.","DOI":"10.1007\/3-540-61474-5_73"},{"key":"33_CR4","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":"33_CR5","doi-asserted-by":"crossref","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, 1994.","DOI":"10.1007\/3-540-58468-4_165"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 66\u201375, December 1995.","DOI":"10.1109\/REAL.1995.495197"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. A Users Guide to HyTech. Technical report, Department of Computer Science, Cornell University, 1995.","DOI":"10.1007\/3-540-60630-0_3"},{"key":"33_CR8","unstructured":"Mathai Joseph, Alan Burns, Andy Welling, Krithi Ramamritham, Jozef Hooman, Steve Schneider, Zhiming Liu, and Henk Schepers. Real-time Systems Specification, Verification and Analysis. Prentice Hall, 1996."},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. Compositional and Symbolic Model-Checking of Real-Time Systems. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 76\u201387, December 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"33_CR10","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":"33_CR11","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":"33_CR12","unstructured":"Wang Yi, Paul Pettersson, and Mats Daniels. Automatic 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","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61042-1_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:12:39Z","timestamp":1742598759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}