{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:17:26Z","timestamp":1725459446934},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"4431700021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0043452","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:51:43Z","timestamp":1138200703000},"page":"161-173","source":"Crossref","is-referenced-by-count":0,"title":["Experience with specification and verification of hardware using PROLOG"],"prefix":"10.1007","author":[{"given":"Norihisa","family":"Suzuki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Chikayama, T. \u201cUtilisp Manual,\u201d Technical Report METR 81-6, Department of Mathematical Engineering and Instrumentation Physics, University of Tokyo, September 1981."},{"key":"8_CR2","unstructured":"Clark, D. W. et al. \u201cMemory System of a High-Performance Personal Computer,\u201d Technical Report CSL-81-1, Xerox Palo Alto Research Center, January 1981."},{"key":"8_CR3","unstructured":"Lampson, B. W. and Pier, K. A. \u201cA Processor for a High-Performance Personal Computer,\u201d Technical Report CSL-81-1, Xerox Palo Alto Research Center, January 1981."},{"key":"8_CR4","unstructured":"Lampson, B. W. et al. \u201cInstruction Fetch Unit for a High-Performance Personal Computer,\u201d Technical Report CSL-81-1, Xerox Palo Alto Research Center, January 1981."},{"key":"8_CR5","unstructured":"Mitchell, J. G. et al. \u201cMesa Language Manual,\u201d Technical Report CSL-79-3, Xerox Palo Alto Research Center, April 1979."},{"key":"8_CR6","unstructured":"Nakashima, H. \u201cProlog\/KR User's Manual,\u201d Technical Report METR 82-4, Department of Mathematical Engineering and Instrumentation Physics, University of Tokyo, March 1982."},{"key":"8_CR7","unstructured":"Suzuki, N. and Burstall, R. \u201cSakura: a VLSI Modelling Language,\u201d Proc. Conf. on Advanced Research in VLSI, Artech House, Dedham, Mass., 1981."},{"key":"8_CR8","unstructured":"Warren, D. H. D. \u201cImplementing PROLOG-Compiling Predicate Logic Programs,\u201d DAI Research Report 39\u201340, University of Edinburgh, May 1977."}],"container-title":["Lecture Notes in Computer Science","VLSI Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0043452.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:58Z","timestamp":1607550478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0043452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["4431700021"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0043452","relation":{},"subject":[]}}