{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171627},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540544771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023739","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:01:03Z","timestamp":1132380063000},"page":"253-262","source":"Crossref","is-referenced-by-count":4,"title":["Branching time regular temporal logic for model checking with linear time complexity"],"prefix":"10.1007","author":[{"given":"Kiyoharu","family":"Hamaguchi","sequence":"first","affiliation":[]},{"given":"Hiromi","family":"Hiraishi","sequence":"additional","affiliation":[]},{"given":"Shuzo","family":"Yajima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. In 10th ACM Symposium on Principles of Programming Languages, pages 117\u2013126, January 1983.","DOI":"10.1145\/567067.567080"},{"issue":"12","key":"27_CR2","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1109\/TC.1986.1676711","volume":"C-35","author":"M. C. Browne","year":"1986","unstructured":"M. C. Browne, E. M. Clarke, D. L. Dill, and B. Mishra. Automatic Verification of Sequential Circuits Using Temporal Logic. IEEE Transactions on Computers, C-35(12):1035\u20131044, December 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"27_CR3","unstructured":"H. Hiraishi. Design Verification of Sequential Machines Based on a Model Checking Algorithm of \u025b-free Regular Temporal Logic. In Computer Hardware Description Languages and their applications, pages 249\u2013263, June 1989."},{"key":"27_CR4","unstructured":"E. M. Clarke and O. Gr\u00fcmberg and R. P. Kurshan. A Synthesis of Two Approached for Verifying Finite State Concurrent Systems. Technical report, Carnegie Mellon University, 1987. manuscript."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"P. Wolper. Temporal Logic Can Be More Expressive. In Proceedings of 22nd Annual Symposium on Foundations of Computer Science, pages 340\u2013348, 1981.","DOI":"10.1109\/SFCS.1981.44"}],"container-title":["Lecture Notes in Computer Science","Computer-Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T03:17:07Z","timestamp":1572923827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540544771"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0023739","relation":{},"subject":[]}}