{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:10:38Z","timestamp":1729642238408,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/icci-cc.2014.6921486","type":"proceedings-article","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T20:14:51Z","timestamp":1414008891000},"page":"373-378","source":"Crossref","is-referenced-by-count":0,"title":["Optimized symbolic model checking for component-based systems"],"prefix":"10.1109","author":[{"given":"Lianyi","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Qingdi","family":"Meng","sequence":"additional","affiliation":[]},{"given":"Guiming","family":"Luo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/SEFM.2006.27"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/978-3-319-02444-8_39"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TSE.2006.81"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/PNPM.2001.953360"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1007\/BF01257083"},{"key":"2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","article-title":"Specification and verification of concurrent systems in cesar","author":"queille","year":"1982","journal-title":"Programming Symposium Springer"},{"year":"1982","author":"clarke","journal-title":"Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic Springer","key":"1"},{"year":"2011","author":"appold","journal-title":"Improving Bdd Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-1-4613-9668-0_6"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/978-1-4615-3190-6"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/SFCS.1977.32"},{"key":"9","first-page":"254","article-title":"Efficient bdd algorithms for fsm synthesis and verification","volume":"253","author":"ranjan","year":"1995","journal-title":"IWLS95 Lake Tahoe CA"},{"key":"8","first-page":"435","article-title":"Symbolic model checking with partitioned transition relations","author":"burch","year":"1991","journal-title":"Computer Science Department"}],"event":{"name":"2014 IEEE 13th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2014,8,18]]},"location":"London, UK","end":{"date-parts":[[2014,8,20]]}},"container-title":["2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6911098\/6921429\/06921486.pdf?arnumber=6921486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T22:52:17Z","timestamp":1498171937000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6921486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2014.6921486","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}