{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:15:35Z","timestamp":1649164535855},"reference-count":8,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3619,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s1571-0661(05)80098-2","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"84-98","source":"Crossref","is-referenced-by-count":3,"title":["Benchmarking Explicit State Parallel Model Checkers"],"prefix":"10.1016","volume":"89","author":[{"given":"Mike","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric G.","family":"Mercer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tonglaga","family":"Bao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Lamborn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80098-2_BIB1","unstructured":"MPI home page. http:\/\/www-unix.mcs.anl.gov\/mpi\/index.html."},{"key":"10.1016\/S1571-0661(05)80098-2_BIB2","unstructured":"MPICH home page. http:\/\/www-unix.mcs.anl.gov\/mpi\/mpich\/indexold.html."},{"key":"10.1016\/S1571-0661(05)80098-2_BIB3","article-title":"Property driven distribution of nested DFS","author":"Barnat","year":"2002","journal-title":"Technical Report VCL-2002, Faculty of Informatics, Masaryk University"},{"issue":"1","key":"10.1016\/S1571-0661(05)80098-2_BIB4","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1287\/ijoc.5.1.2","article-title":"Reporting computational experiments with parallel algorithms: Issues","volume":"5","author":"Barr","year":"1993","journal-title":"measures, and experts. INFORMS Journal on Computing"},{"key":"10.1016\/S1571-0661(05)80098-2_BIB5","article-title":"A performance study of distributed timed automata reachability analysis","volume":"7","author":"Behrmann","year":"2002"},{"key":"10.1016\/S1571-0661(05)80098-2_BIB6","article-title":"Introduction to Parallel Computing: Design and Analysis of Algorithms","author":"Kumar","year":"1993","journal-title":"Benjamin\/Cummings Publishing Company"},{"key":"10.1016\/S1571-0661(05)80098-2_BIB7","series-title":"Volume 1680 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48234-2_3","article-title":"Distributed-memory model checking in SPIN","author":"Lerda","year":"1999"},{"key":"10.1016\/S1571-0661(05)80098-2_BIB8","series-title":"Computer-Aided Verification, CAV '97, volume 1254 of Lecture Notes in Computer Science","first-page":"256","article-title":"Parallelizing the Mur\u03d1' verifier","author":"Stern","year":"1997"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800982?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800982?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T08:58:28Z","timestamp":1548493108000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105800982"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066105800982"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80098-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}