{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:29:44Z","timestamp":1752982184536},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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_13","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:39:56Z","timestamp":1186742396000},"page":"200-216","source":"Crossref","is-referenced-by-count":55,"title":["Distributed LTL model-checking in SPIN"],"prefix":"10.1007","author":[{"given":"Jiri","family":"Barnat","sequence":"first","affiliation":[]},{"given":"Lubos","family":"Brim","sequence":"additional","affiliation":[]},{"given":"Jitka","family":"St\u0159\u00edbrn\u00e1","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"13_CR1","series-title":"LNCIS","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BFb0042303","volume-title":"Discrete Event Systems: Models and Application","author":"S. Aggarwal","year":"1987","unstructured":"S. Aggarwal, R. Alonso, and C. Courcoubetis. Distributed reachability analysis for protocol verification environments. In P. Varaiya and H. Kurzhanski, editors, Discrete Event Systems: Models and Application, volume 103 of LNCIS, pages 40\u201356, Berlin, Germany, August 1987. Springer-Verlag."},{"doi-asserted-by":"crossref","unstructured":"J. Barnat, L. Brim, and J. St\u0159\u00edbrn\u00e1. Distributed LTL Model-Checking in SPIN. Technical Report FI-MU-10\/00, Masaryk Univeristy Brno, 2000.","key":"13_CR2","DOI":"10.1007\/3-540-45139-0_13"},{"doi-asserted-by":"crossref","unstructured":"S. Ben-David, T. Heyman, O. Grumberg, and A. Schuster. Scalable distributed on-the-fly symbolic model checking. In third International Conference on Formal methods in Computer-Aided Design (FMCAD\u201900), Austin, Texas, November 2000.","key":"13_CR3","DOI":"10.1007\/3-540-40922-X_24"},{"key":"13_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","volume-title":"The mur\u03d5 verification system","author":"D. L. Dill","year":"1996","unstructured":"David L. Dill. The mur\u03d5 verification system. In Conference on Computer-Aided Verification (CAV\u2019 96), Lecture Notes in Computer Science, pages 390\u2013393. Springer-Verlag, July 1996."},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/10722167_6","volume-title":"Computer Aided Verification","author":"T. Heyman","year":"2000","unstructured":"Tamir Heyman, Danny Geist, Orna Grumberg, and Assaf Schuster. Achieving scalability in parallel reachability analysis of very large circuits. In Orna Grumberg, editor, Computer Aided Verification, 12th International Conference, volume 1855 of Lecture Notes in Computer Science, pages 20\u201335. Springer-Verlag, June 2000."},{"key":"13_CR6","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991."},{"issue":"5","key":"13_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"Gerard J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279\u2013295, May 1997. Special Issue: Formal Methods in Software Practice.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR8","series-title":"Lect Notes Comput Sci","volume-title":"SPIN workshop","author":"F. Lerda","year":"1999","unstructured":"F. Lerda and R. Sisto. Distributed-memory model checking with SPIN. In SPIN workshop, number 1680 in LNCS, Berlin, 1999. Springer."},{"doi-asserted-by":"crossref","unstructured":"Robert Tarjan. Depth first search and linear graph algorithms. SIAM journal on computing, pages 146\u2013160, January 1972.","key":"13_CR9","DOI":"10.1137\/0201010"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Proceedings of Computer Aided Verification (CAV\u2019 97)","author":"U. Stern","year":"1997","unstructured":"U. Stern and D. L. Dill. Parallelizing the mur\u03d5 verifier. In O. Grumberg, editor, Proceedings of Computer Aided Verification (CAV\u2019 97), volume 1254 of LNCS, pages 256\u2013267, Berlin, Germany, 1997. Springer."},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","first-page":"59","volume-title":"Conference on Computer-Aided Verification (CAV\u2019 93)","author":"P. Wopler","year":"1993","unstructured":"P. Wopler and D. Leroy. Reliable hashing without collision detection. In Conference on Computer-Aided Verification (CAV\u2019 93), Lecture Notes in Computer Science, pages 59\u201370. Springer-Verlag, 1993."}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:17:20Z","timestamp":1556734640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45139-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421245","9783540451396"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45139-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}