{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:31:58Z","timestamp":1725485518460},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_26","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"370-370","source":"Crossref","is-referenced-by-count":6,"title":["A Distributed Partial Order Reduction Algorithm"],"prefix":"10.1007","author":[{"given":"Robert","family":"Palmer","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-45139-0_13","volume-title":"Distributed ltl model-checking in spin","author":"J. Barnat","year":"2001","unstructured":"Jiri Barnat, Lubos Brim, and Jitka Stribrna. Distributed ltl model-checking in spin. In Proceedings of the 7th International SPIN Workshop, pages 200\u2013216, 2001. LNCS 2057."},{"key":"26_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-45139-0_14","volume-title":"Parallel state space construction for model-checking","author":"H. Garavel","year":"2001","unstructured":"Hubert Garavel, Radu Mateescu, and Irina Smarandache. Parallel state space construction for model-checking. In Proceedings of the 7th International SPINWorkshop, pages 217\u2013234, 2001. LNCS 2057."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Richard J. Lipton. Reduction:A method of proving properties of parallel programs. Communications of the ACM, 18(12), December 1975.","DOI":"10.1145\/361227.361234"},{"issue":"3","key":"26_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1014728912264","volume":"20","author":"R. Nalumasu","year":"2002","unstructured":"Ratan Nalumasu and Ganesh Gopalakrishnan. An efficent partial order reduction algorithm with an alternative proviso implementation. Formal Methods in System Design, 20(3):231\u2013247, May 2002.","journal-title":"Formal Methods in System Design"},{"key":"26_CR5","unstructured":"Robert Palmer and Ganesh Gopalakrishnan. Partial order reduction assisted parallel modelchecking (full version). Technical report, University of Utah, August 2002."},{"issue":"2","key":"26_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1008771324652","volume":"18","author":"U. Stern","year":"2001","unstructured":"Ulrich Stern and David Dill. Parallelizing the Mur\u00f6 verifier. Formal Methods in System Design, 18(2):117\u2013129, 2001. (Journal version of their CAV 1997 paper).","journal-title":"Formal Methods in System Design"},{"key":"26_CR7","unstructured":"The Utah Verifier group website. \n                  http:\/\/www.cs.utah.edu\/formal verification\n                  \n                ."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T02:10:22Z","timestamp":1550369422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}