{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:57Z","timestamp":1725551277457},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665595"},{"type":"electronic","value":"9783540481539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48153-2_34","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:28Z","timestamp":1269897208000},"page":"360-365","source":"Crossref","is-referenced-by-count":1,"title":["Validation of Object-Oriented Concurrent Designs by Model Checking"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Schneider","sequence":"first","affiliation":[]},{"given":"Michaela","family":"Huhn","sequence":"additional","affiliation":[]},{"given":"George","family":"Logothetis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"34_CR1","unstructured":"W. Nebel and G. Schumacher. Object-oriented hardware modelling: Where to apply and what are the objects. In Euro-Dac\u2019 96 with Euro-VHDL\u2019 96, 1996."},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"J. S. Young, J. MacDonald, M. Shilman, P. H. Tabbara, and A. R. Newton. Design and specification of embedded systems in Java using successive, formal refinement. In Design Automation Conference (DAC\u201998), 1998.","DOI":"10.1145\/277044.277058"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, O. Grumberg, and D. E. Long. Model checking. volume 152 of Nato ASI Series F. Springer-Verlag, 1996.","DOI":"10.1007\/978-3-642-61455-2_16"},{"issue":"5","key":"34_CR4","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. Clarke","year":"1994","unstructured":"E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. ACM Transactions on Programming Languages and systems, 16(5):1512\u20131542, September 1994.","journal-title":"ACM Transactions on Programming Languages and systems"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01384313","volume":"6","author":"C. Loiseaux","year":"1995","unstructured":"C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:1\u201335, February 1995.","journal-title":"Formal Methods in System Design"},{"key":"34_CR6","unstructured":"F. Sch\u00f6n and W. Schr\u00f6der-Preikschat. On the interrupt-transparent synchronization of interrupt-driven code. Arbeitspapiere der GMD, GMD Forschungszentrum Informatik, 1999."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48153-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:59:09Z","timestamp":1558983549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48153-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665595","9783540481539"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-48153-2_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}