{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:10Z","timestamp":1725560470215},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213147"},{"type":"electronic","value":"9783540247326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24732-6_10","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:14:47Z","timestamp":1280261687000},"page":"146-150","source":"Crossref","is-referenced-by-count":12,"title":["Explicit State Model Checking with Hopper"],"prefix":"10.1007","author":[{"given":"Michael","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Mercer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Computer Aided Verification","author":"U. Stern","year":"1997","unstructured":"Stern, U., Dill, D.L.: Parallelizing the Mur\u03c6 verifier. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 256\u2013267. Springer, Heidelberg (1997)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BFb0028743","volume-title":"Computer Aided Verification","author":"U. Stern","year":"1998","unstructured":"Stern, U., Dill, D.L.: Using magnetic disk instead of main memory in the Mur\u03c6 verifier. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 172\u2013183. Springer, Heidelberg (1998)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45139-0_5","volume-title":"Model Checking Software","author":"S. Edelkamp","year":"2001","unstructured":"Edelkamp, S., Lluch-Lafuente, A., Leue, S.: Directed explicit model checking with HSF-SPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, p. 57. Springer, Heidelberg (2001)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Jones, M.D., Sorber, J.: Parallel search for LTL violations. Software tools for technology transfer (2004) (to appear)","DOI":"10.1007\/s10009-003-0115-8"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Jones, M., Mercer, E.G., Bao, T., Kumar, R., Lamborn, P.: Benchmarking explicit state parallel model checkers. In: Workshop on Parrallel and Distributed Model Checking (2003)","DOI":"10.1016\/S1571-0661(05)80098-2"},{"key":"10_CR6","unstructured":"Seppi, K., Jones, M., Lamborn, P.: Guided model checking with a Bayesian meta-heuristic. Technical Report VV-0401, Dept. of Computer Science, BrighamYoung U (2004)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1022921522163","volume":"22","author":"S.M. German","year":"2003","unstructured":"German, S.M.: Formal design of cache memory protocols in IBM. Formal Methods in System Design\u00a022, 133\u2013141 (2003)","journal-title":"Formal Methods in System Design"},{"key":"10_CR8","volume-title":"Bayes and Empirical Bayes Methods for Data Analysis","author":"P. Bradley","year":"1996","unstructured":"Bradley, P., Carlin, T.A.L.: Bayes and Empirical Bayes Methods for Data Analysis. Chapman & Hall, Boca Raton (1996)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24732-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:30:05Z","timestamp":1559316605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24732-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213147","9783540247326"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24732-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}