{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:25:43Z","timestamp":1725488743626},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421245"},{"type":"electronic","value":"9783540451396"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45139-0_15","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:39:56Z","timestamp":1186742396000},"page":"235-251","source":"Crossref","is-referenced-by-count":4,"title":["Model checking systems of replicated processes with spin"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Derepas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Gastin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"15_CR1","unstructured":"C. N. Ip and D. L. Dill. Better Verification through Symmetry. International Conference on Computer Hardware Description Languages, pages 87\u2013100, April 1993."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"C. N. Ip and D. L. Dill. Efficient Verification of Symmetric Concurrent Systems. In IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 230234. IEEE Computer Society, 1993.","DOI":"10.1109\/ICCD.1993.393375"},{"key":"15_CR3","unstructured":"C. Norris Ip and D. L. Dill. Verifying Systems with Replicated Components in Mur\u03d5. Formal Methods in System Design, 1997."},{"issue":"5","key":"15_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. The Spin Model Checker. IEEE Trans. on Software Engineering, 23(5):279\u2013295, May 1997.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of the 7th SPIN Workshop","author":"D. Bo\u0161na\u010dki","year":"2000","unstructured":"D. Bo\u0161na\u010dki, D. Dams, and L. Holenderski. Symmetric spin. In Proceedings of the 7th SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, pages 1\u201319. Springer Verlag, 2000."},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00625970","volume":"9","author":"E. A. Emerson","year":"1996","unstructured":"E. A. Emerson and A. P. Sistla. Symmetry and Modelchecking. Formal Methods in System Design, 9(1):105\u2013130, 1996.","journal-title":"Formal Methods in System Design"},{"key":"15_CR7","first-page":"114","volume":"3","author":"D. E. Knuth","year":"1973","unstructured":"D. E. Knuth. The Art of Computer Programming, volume 3, chapter 5, pages 114\u2013123. Addison Wesley, 1973.","journal-title":"The Art of Computer Programming"},{"key":"15_CR8","unstructured":"N. G. Depledge, W. A. Turner, and A. Woog. An open, distributable, three-tier client-server architecture with transaction semantics. Digital Technical Journal, 7(1), 1995."}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45139-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T02:09:54Z","timestamp":1550714994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45139-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421245","9783540451396"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45139-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}