{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:27:03Z","timestamp":1750746423990},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_3","type":"book-chapter","created":{"date-parts":[[2007,10,29]],"date-time":"2007-10-29T23:58:10Z","timestamp":1193702290000},"page":"22-39","source":"Crossref","is-referenced-by-count":67,"title":["Distributed-Memory Model Checking with SPIN"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Lerda","sequence":"first","affiliation":[]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"E. M. Clarke and J. M. Wing. Formal methods: state of the art and future directions.ACM Computing Surveys, 28(4)626\u2013643, December 1996.","journal-title":"ACM Computing Surveys"},{"key":"3_CR2","first-page":"59","volume":"7","author":"P.J.A. Villiers de","year":"1992","unstructured":"P. J. A. de Villiers and W. C. Visser. ESML\u2014a validation language for concurrentsystems. South African Computer Journal, 7:59\u201364, July 1992.","journal-title":"South African Computer Journal"},{"key":"3_CR3","unstructured":"J.-Ch. Gr-egoire. State space compression in Spin with GETSs. In Proceedings of the 2nd SPIN Workshop, 1996."},{"key":"3_CR4","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991."},{"key":"3_CR5","unstructured":"G. J. Holzmann. State compression in Spin: recursive indexing and compression training runs. In Proceedings of the 3rd SPIN Workshop, 1997."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"J. Rushby. Mechanized formal methods: progress and prospects. In Proceedings of the 16th Conference on the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science #1180, pages 43\u201351. Springer-Verlag, December 1996.","DOI":"10.1007\/3-540-62034-6_36"},{"key":"3_CR7","unstructured":"W. C. Visser. Memory efficient state storage in Spin. In Proceedings of the 2nd SPIN Workshop, 1996."}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T14:44:24Z","timestamp":1551019464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}