{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:26:51Z","timestamp":1750746411185,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2003.1240299","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"106-115","source":"Crossref","is-referenced-by-count":29,"title":["Parallel breadth-first search LTL model-checking"],"prefix":"10.1109","author":[{"given":"J.","family":"Barnat","sequence":"first","affiliation":[]},{"given":"L.","family":"Brim","sequence":"additional","affiliation":[]},{"given":"J.","family":"Chaloupka","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref11","article-title":"Distributed-memory model checking with SPIN","volume":"1680","author":"lerda","year":"1999","journal-title":"proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN'99)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref13","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"Proc Symp Logic Comput Sci"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-44829-2_4","article-title":"Distributed explicit fair cycle detection","volume":"2648","author":"cern\u00e1","year":"2003","journal-title":"Model Checking Software 10th International SPIN Workshop"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45294-X_9"},{"journal-title":"Introduction to Algorithms","year":"1990","author":"cormen","key":"ref6"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref5"},{"key":"ref8","first-page":"57","article-title":"Directed model-checking in HSF-SPIN","author":"edelkamp","year":"2001","journal-title":"8th International SPIN workshop"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00121128"},{"key":"ref2","first-page":"1","article-title":"Property Driven Distribution of Nested DFS","author":"barnat","year":"2002","journal-title":"In Proceedings of the 3rd International Workshop on Verification and Computational Logic (VCL'02 - held at the PLI 2002 Symposium)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_13"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56496-9_31"}],"event":{"name":"18th IEEE International Conference on Automated Software Engineering","acronym":"ASE-03","location":"Montreal, Que., Canada"},"container-title":["18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8780\/27811\/01240299.pdf?arnumber=1240299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T04:59:16Z","timestamp":1523249956000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ase.2003.1240299","relation":{},"subject":[]}}