{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:36:25Z","timestamp":1730252185086,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/icnsc.2008.4525520","type":"proceedings-article","created":{"date-parts":[[2008,5,20]],"date-time":"2008-05-20T20:11:19Z","timestamp":1211314279000},"page":"1823-1827","source":"Crossref","is-referenced-by-count":0,"title":["A Scheduling Strategy for Parallel Proof Checking and Verification"],"prefix":"10.1109","author":[{"given":"He","family":"Pei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kang","family":"Lishan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Zengliang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Zhuoyu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/SNPD.2007.427"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1007\/978-3-642-71549-5"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/BFb0016237"},{"year":"0","key":"15"},{"year":"0","key":"16"},{"year":"0","key":"13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/3-540-61697-7_5"},{"year":"0","journal-title":"Theorema","key":"11"},{"year":"0","journal-title":"Automated Deduction Systems and Groups","key":"12"},{"year":"0","key":"3"},{"key":"2","first-page":"881","article-title":"incaps: an interactive computer-aided theorem proving system","volume":"12","author":"li","year":"1989","journal-title":"Chinese Journal of Computers"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/978-1-4684-9452-5"},{"year":"0","author":"sutchiffe's","journal-title":"Overview of Automated Theorem Proving","key":"10"},{"key":"7","first-page":"411","article-title":"pvs: combining specification, proof checking, and model checking","volume":"1102","author":"owre","year":"1996","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/LICS.1998.705646"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1016\/j.entcs.2005.03.023"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/BF02946583"},{"key":"9","first-page":"2","article-title":"certifying model checkers","volume":"2102","author":"namjoshi","year":"2001","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/j.cl.2004.02.006"}],"event":{"name":"2008 IEEE International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2008,4,6]]},"location":"Sanya, China","end":{"date-parts":[[2008,4,8]]}},"container-title":["2008 IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4489617\/4525150\/04525520.pdf?arnumber=4525520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T21:21:04Z","timestamp":1489699264000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4525520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2008.4525520","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}