{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:03Z","timestamp":1725663663428},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:42Z","timestamp":1330249902000},"page":"354-364","source":"Crossref","is-referenced-by-count":0,"title":["Mechanically verifying safety and liveness properties of delay insensitive circuits"],"prefix":"10.1007","author":[{"given":"David M.","family":"Goldschlag","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"34_CR1","volume-title":"A Computational Logic Handbook","author":"R. S. Boyer","year":"1988","unstructured":"R. S. Boyer and J S. Moore. A Computational Logic Handbook. Academic Press, Boston, 1988."},{"key":"34_CR2","volume-title":"Parallel Program Design: A Foundation","author":"K. M. Chandy","year":"1988","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison Wesley, Massachusetts, 1988."},{"key":"34_CR3","volume-title":"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits","author":"David L. L. Dill","year":"1988","unstructured":"David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. The MIT Press, Cambridge, Massachusetts, 1988."},{"key":"34_CR4","unstructured":"Steven M. German and Yu Wang. Formal Verification of Parameterized Hardware Designs. Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers: 549\u2013552, 1985."},{"key":"34_CR5","volume-title":"Programming Concepts and Methods","author":"David M. M. Goldschlag","year":"1990","unstructured":"David M. Goldschlag. Mechanizing Unity. In M. Broy and C. B. Jones (editors), Programming Concepts and Methods. North Holland, Amsterdam, 1990."},{"issue":"4","key":"34_CR6","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/BF00243132","volume":"5","author":"Warren A. A. Hunt Jr.","year":"1989","unstructured":"Warren A. Hunt, Jr. Microprocessor Design Verification. Journal of Automated Reasoning 5(4):429\u2013460, December, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"34_CR7","unstructured":"Matt Kaufmann. DEFN-SK: An Extension of the Boyer-Moore Theorem Prover to Handle First-Order Quantifiers. Technical Report 43, Computational Logic, Inc., May, 1989. Draft."},{"key":"34_CR8","first-page":"133","volume-title":"From HDL Descriptions to Guaranteed Correct Circuit Designs","author":"Alain J. J. Martin","year":"1987","unstructured":"Alain J. Martin. Self-Timed FIFO: An Exercise in Compiling Programs into VLSI Circuits. In From HDL Descriptions to Guaranteed Correct Circuit Designs, pages 133\u2013153. North-Holland, Amsterdam, 1987."},{"key":"34_CR9","unstructured":"R. E. Miller. Switching Theory. Wiley, 1965."},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Jorgen Staunstrup, Stephen J. Garland, and John V. Guttag. Localized Verification of Circuit Descriptions. In J. Sifakis (editors), Automatic Verification Methods for Finite State Systems, pages 348\u2013364. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52148-8_29"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:18Z","timestamp":1619573298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}