{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:28:11Z","timestamp":1747805291569,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/ipdps.2009.5161000","type":"proceedings-article","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T19:56:45Z","timestamp":1248119805000},"page":"1-12","source":"Crossref","is-referenced-by-count":27,"title":["Efficient large-scale model checking"],"prefix":"10.1109","author":[{"given":"Kees","family":"Verstoep","sequence":"first","affiliation":[]},{"given":"Henri E.","family":"Bal","sequence":"additional","affiliation":[]},{"given":"Jiri","family":"Barnat","sequence":"additional","affiliation":[]},{"given":"Lubos","family":"Brim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626407002843"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050045"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70952-7_4"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"13","first-page":"216","article-title":"parallel state space construction for model-checking","volume":"2057","author":"garavel","year":"2001","journal-title":"LNCS"},{"key":"14","first-page":"228","article-title":"open mpi: a flexible high performance mpi","author":"graham","year":"2005","journal-title":"Proc 6th Int Conf on Par Proc and Appl Math"},{"key":"11","first-page":"420","article-title":"is there a best symbolic cycle-detection algorithm?","volume":"2031","author":"fisler","year":"2001","journal-title":"LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054107004565"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782776"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5160964"},{"key":"22","first-page":"5","article-title":"typical structural properties of state spaces","volume":"2989","author":"pela?nek","year":"2004","journal-title":"LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_17"},{"year":"0","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"26","first-page":"322","article-title":"an automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"LICS"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2008.71"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_12"},{"key":"29","first-page":"343","article-title":"pears. utomatizedverification of ad hoc routing protocols","volume":"3235","author":"wibling","year":"2004","journal-title":"LNCS"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","article-title":"shmuel safra's version of termination detection","author":"dijkstra","year":"1987","journal-title":"EWD Manuscripts"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_13"},{"key":"7","first-page":"3","article-title":"toward an international \"computer science grid\" (keynote)","author":"cappello","year":"2007","journal-title":"CCGrid'07"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.019"},{"key":"5","first-page":"543","article-title":"parallel model checking for the alternation free mu-calculus","volume":"2031","author":"bollig","year":"2001","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0159-4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023737"},{"key":"8","first-page":"318","article-title":"relating hierarchy of temporalproperties to model checking","volume":"2747","author":"ca?erna?","year":"2003","journal-title":"LNCS"}],"event":{"name":"Distributed Processing (IPDPS)","start":{"date-parts":[[2009,5,23]]},"location":"Rome, Italy","end":{"date-parts":[[2009,5,29]]}},"container-title":["2009 IEEE International Symposium on Parallel & Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5136864\/5160846\/05161000.pdf?arnumber=5161000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T21:11:14Z","timestamp":1489785074000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5161000\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2009.5161000","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}