{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:13Z","timestamp":1725455893682},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619291"},{"type":"electronic","value":"9783540495666"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0027238","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:46:29Z","timestamp":1132382789000},"page":"203-217","source":"Crossref","is-referenced-by-count":4,"title":["Specifying and verifying the Steam Boiler Problem with SPIN"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Duval","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Cattel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"unstructured":"G. Caal, A. Divin, C. Petitpierre, Active Objects: a Paradygm for Communications and Event Driven Systems, Globecom'94, San Francisco.","key":"11_CR1"},{"key":"11_CR2","volume-title":"Proc. of SPIN Workshop 95","author":"G. Duval","year":"1995","unstructured":"G. Duval, J. Jullian. Modeling and Verification of the RUBIS micro-Kernel with SPIN. Proc. of SPIN Workshop 95, INRS-Telecom, Montreal, October 1995."},{"unstructured":"Holzmann G.J., What's new in SPIN version 2, AT&T Bell Laboratories, May 1995.","key":"11_CR3"},{"unstructured":"Holzmann G.J., Design and Validation of Computer Protocols, 512 pgs, ISBN 0-13-539925-4, Publ. Prentice Hall, (c) 1991 AT&T Bell Laboratories.","key":"11_CR4"},{"doi-asserted-by":"crossref","unstructured":"Holzmann G.J., Design and validation of protocols: a tutorial, Computer Networks, 25(9), April 93, pp. 981\u20131017.","key":"11_CR5","DOI":"10.1016\/0169-7552(93)90095-L"},{"doi-asserted-by":"crossref","unstructured":"Manna Z., Pnueli A., The Temporal Logic of Reactive and Concurrent Systems \u2014 Specification. Springer-Verlag, 1992.","key":"11_CR6","DOI":"10.1007\/978-1-4612-0931-7"},{"unstructured":"Manna Z., Anuchitanukul A, ... STeP: the Stanford Temporal Prover. Department of Computer Science. Stanford University, California 94395.","key":"11_CR7"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:30:46Z","timestamp":1586568646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619291","9783540495666"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0027238","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}