{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:17:54Z","timestamp":1740287874841,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278825"},{"type":"electronic","value":"9783540317142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526841_33","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:51:58Z","timestamp":1279471918000},"page":"497-511","source":"Crossref","is-referenced-by-count":1,"title":["On Partitioning and Symbolic Model Checking"],"prefix":"10.1007","author":[{"given":"Subramanian","family":"Iyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Debashis","family":"Sahoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. Allen","family":"Emerson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jawahar","family":"Jain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/3-540-44585-4_32","volume-title":"Computer Aided Verification","author":"O. Grumberg","year":"2001","unstructured":"Grumberg, O., Heyman, T., Schuster, A.: Distributed symbolic model checking for \u03bc-calculus. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 350\u2013362. Springer, Heidelberg (2001)"},{"key":"33_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-540-39724-3_35","volume-title":"Correct Hardware Design and Verification Methods","author":"S. Iyer","year":"2003","unstructured":"Iyer, S., Sahoo, D., Stangier, C., Narayan, A., Jain, J.: Improved symbolic Verification Using Partitioning Techniques. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 410\u2013424. Springer, Heidelberg (2003)"},{"unstructured":"Jain, J.: On analysis of boolean functions. Ph.D Dissertation, Dept. of Electrical and Computer Engineering, The University of Texas at Austin (1993)","key":"33_CR4"},{"key":"33_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"doi-asserted-by":"crossref","unstructured":"Narayan, A., Isles, A., Jain, J., Brayton, R., Sangiovanni-Vincentelli, A.: Reachability Analysis Using Partitioned-ROBDDs. In: Proc. of the Intl. Conf. on Computer-Aided Design, pp. 388\u2013393 (1997)","key":"33_CR6","DOI":"10.1109\/ICCAD.1997.643565"},{"doi-asserted-by":"crossref","unstructured":"Narayan, A., Jain, J., Fujita, M., Sangiovanni-Vincentelli, A.L.: Partitioned-ROBDDs - A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions. In: Proc. of the Intl. Conf. on Computer-Aided Design, pp. 547\u2013554 (1996)","key":"33_CR7","DOI":"10.1109\/ICCAD.1996.569909"},{"unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package (2001), ftp:\/\/vlsi.colorado.edu\/pub","key":"33_CR8"},{"unstructured":"VIS. Vis verilog benchmarks (2001), http:\/\/vlsi.colorado.edu\/~vis\/","key":"33_CR9"}],"container-title":["Lecture Notes in Computer Science","FM 2005: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526841_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T02:30:15Z","timestamp":1740277815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526841_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278825","9783540317142"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11526841_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}