{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:55Z","timestamp":1725663895832},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:25:23Z","timestamp":1330269923000},"page":"286-298","source":"Crossref","is-referenced-by-count":5,"title":["The completeness of a hardware inference system"],"prefix":"10.1007","author":[{"given":"Zheng","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C-J","family":"Seger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","volume-title":"Tech. Rep. Technical Report 93-8","author":"C.-J. Seger","year":"1993","unstructured":"Seger, C.-J., and Bryant, R. Formal verification of digital circuits by symbolic evaluation of partially-ordered trajectories. Tech. Rep. Technical Report 93-8, The Computer Science Department, The University of British Columbia, The Computer Science Department, The University of B.C. Vancouver B.C. V6T 1Z4, 1993."},{"key":"24_CR2","volume-title":"Tech. Rep. Technical Report 93-41","author":"S. Hazelhurst","year":"1993","unstructured":"Hazelhurst, S., and Seger, C.-J. A simple theorem prover based on symbolic trajectory evaluation and obdds. Tech. Rep. Technical Report 93-41, The Computer Science Department, The University of British Columbia, The Computer Science Department, The University of B.C. Vancouver B.C. V6T 1Z4, 1993. (An abridged version of this work appears in this proceedings)."},{"key":"24_CR3","volume-title":"Tech. Rep. Technical Report 93-45","author":"C.-J. Seger","year":"1993","unstructured":"Seger, C.-J. Voss \u2014 a formal hardware verification system, user's guide. Tech. Rep. Technical Report 93-45, The Computer Science Department, The University of British Columbia, The Computer Science Department, The University of B.C. Vancouver B.C. V6T 1Z4, 1993."},{"key":"24_CR4","unstructured":"Zhu, Z. Construction of circuit models from trajectory specifications. In progress, 1994."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M., Milner, A., and C., W. Edinburgh LCF, vol. 78 of Lecture Notes in Computer Science. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09724-4"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:56Z","timestamp":1605647876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}