{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:57Z","timestamp":1725550617315},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_30","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:38:22Z","timestamp":1128591502000},"page":"354-358","source":"Crossref","is-referenced-by-count":4,"title":["Error Detection Using BMC in a Parallel Environment"],"prefix":"10.1007","author":[{"given":"Subramanian K.","family":"Iyer","sequence":"first","affiliation":[]},{"given":"Jawahar","family":"Jain","sequence":"additional","affiliation":[]},{"given":"Mukul R.","family":"Prasad","sequence":"additional","affiliation":[]},{"given":"Debashis","family":"Sahoo","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Sidle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","first-page":"261","volume":"40","author":"A. Asato","year":"2004","unstructured":"Asato, A., Kadooka, Y.: Grid Middleware for Effectively Utilizing Computing Resources: CyberGRIP. Fujitsu Scientific and Technical Journal\u00a040, 261\u2013268 (2004)","journal-title":"Fujitsu Scientific and Technical Journal"},{"issue":"1","key":"30_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E. Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded Model Checking Using Satisfiability Solving. Formal Methods in System Design\u00a019(1), 7\u201334 (2001)","journal-title":"Formal Methods in System Design"},{"key":"30_CR3","unstructured":"Ho, P.-H., Shiple, T., Harer, K., Kukula, J., Damiano, R., Bertacco, V., Taylor, J., Long, J.: Smart Simulation Using Collaborative Formal and Simulation Engines. In: Proc. of the IEEE\/ACM International Conference on Computer-Aided Design, November 2000, pp. 120\u2013126 (2000)"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Iyer, S., Jain, J., Prasad, M., Sahoo, D., Sidle, T.: Error Detection using BMC in a Parallel Environment. Technical Report, Department of Computer Sciences, University of Texas at Austin (2005)","DOI":"10.1007\/11560548_30"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-30494-4_28","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Sahoo","year":"2004","unstructured":"Sahoo, D., Iyer, S., Jain, J., Stangier, C., Narayan, A., Dill, D.L., Allen Emerson, E.: A Partitioning Methodology for BDD-based Verification. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol.\u00a03312, pp. 399\u2013413. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:27Z","timestamp":1605642627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11560548_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}