{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:47Z","timestamp":1725455687644},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540544771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023721","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:01:03Z","timestamp":1132362063000},"page":"76-85","source":"Crossref","is-referenced-by-count":2,"title":["A data path verifier for register transfer level using temporal logic language Tokio"],"prefix":"10.1007","author":[{"given":"Hiroshi","family":"Nakamura","sequence":"first","affiliation":[]},{"given":"Yuji","family":"Kukimoto","sequence":"additional","affiliation":[]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"T. Aoyagi, M. Fujita, and T. Moto-oka. Temporal Logic Programming Language Tokio. In Logic Programming Conference '85, pages 128\u2013137, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16479-0_13"},{"key":"9_CR2","first-page":"283","volume":"133","author":"M. Fujita","year":"1986","unstructured":"M. Fujita, S. Kono, H. Tanaka, and T. Moto-oka. Aid to Hierarchical and Structured Logic Design Using Temporal Logic and Prolog. In IEE Proceedings, Vol.133, Pt.E, pages 283\u2013294, IEE, 1986.","journal-title":"IEE Proceedings"},{"key":"9_CR3","unstructured":"H. Koike and H. Tanaka. Multi-Context Procesing and Data Balancing Mechanism of the Parallel Inference Machine PIE64. In Fifth Generation Computer Systems, pages 970\u2013977, ICOT, 1988."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. Kono, T. Aoyagi, M. Fujita, and H. Tanaka. Implementation of Temporal Logic Programming Language Tokio. In Logic Programming Conference '85, pages 138\u2013147, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16479-0_14"},{"key":"9_CR5","unstructured":"M.C. McFarland, A.C. Parker, and R. Camposano. Tutorial on High-Level Synthesis. In 25th Design Automation Conference, pages 330\u2013336, ACM\/IEEE, 1988."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"B. Moszkowski. A Temporal Logic for Multi-Level Reasoning about Hardware. In CHDL '83, IFIP, 1983.","DOI":"10.21236\/ADA324174"}],"container-title":["Lecture Notes in Computer Science","Computer-Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023721.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:50:16Z","timestamp":1607532616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540544771"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0023721","relation":{},"subject":[]}}