{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:45Z","timestamp":1725493245955},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651918"},{"type":"electronic","value":"9783540495192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49519-3_34","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T06:37:12Z","timestamp":1192862232000},"page":"515-522","source":"Crossref","is-referenced-by-count":0,"title":["Alexandria: A Tool for Hierarchical Verification"],"prefix":"10.1007","author":[{"given":"Annette","family":"Bunker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trent N.","family":"Larson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip J.","family":"Windley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"key":"34_CR1","unstructured":"Mark Aagard, Miriam Leeser, and Phillip J. Windley. Towards a superduper hardware tactic. In Jeffery J. Joyce and Carl Seger, editors, Proceedings of the 1993 International Workshop on the HOL Theorem Prover and its Applications., August 1993."},{"key":"34_CR2","unstructured":"Graham Birtwistle, Shiu-Kai Chin, and Brian Graham. new theory \u2018hol\u2018;; an introduction to hardware veri.cation in higher order logic. \n                  http:\/\/lal.cs.byu.edu\/lal\/holdoc\/birtwistle\/html\/current\/all\/all.html\n                  \n                ."},{"key":"34_CR3","unstructured":"Jody Gambles and Phillip J. Windley. Integrating formal veri.cation with CAD tool environments. In Proceedings of the Fourth Annual IEEE\/NASA Symposium on VLSI Desigh, October 1992."},{"key":"34_CR4","unstructured":"Miriam Leeser and Mark Aagard. A methodology for reusable hardware proofs. In Luc Claeson and MichaelJ.C. Gordon, editors, Proceedings of the 1992 International Workshop on the HOL Theorem Prover and its Applications, November 1992."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49519-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T05:24:43Z","timestamp":1550985883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49519-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651918","9783540495192"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-49519-3_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}