{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:43Z","timestamp":1725456223524},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012834","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"218-237","source":"Crossref","is-referenced-by-count":3,"title":["Propositional temporal interval logic is PSPACE complete"],"prefix":"10.1007","author":[{"given":"A. A.","family":"Aaby","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. T.","family":"Narayana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Aaby,A.A and Narayana,K.T, Synthesis of Hardware from Propositional Temporal Interval Logic, Computer Science Research Report, 1988."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"Ben-Ari, M., Manna, Z. and Pnueli, A., The Temporal Logic of Branching Time, Acta Informatica 20, (1983), pp. 207\u2013226.","journal-title":"Acta Informatica"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M. and Emerson, E.A., Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons, Science of Computer Programming 2, (1982), pp. 241\u2013266.","journal-title":"Science of Computer Programming"},{"key":"15_CR4","unstructured":"Dill,D.L and Clarke,E.M, Automatic Verification of Asynchronous Circuits Using Temporal Logic, 1985 Chappel Hill Conference on VLSI,, May 1985."},{"key":"15_CR5","unstructured":"Fujita,M., Tanaka,H. and Moto-oka,T., Specifying Hardware in Temporal Logic and Efficient Synthesis of State-Diagrams Using Prolog, Proceedings of the International Conference on Fifth Generation Computer Systems,, 1984."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Lichtenstein,O and Pnueli,A, Checking That Finite State Concurrent Programs Satisfy Their Linear Specifications, 12th ACM Symp. on Prin. of Prog. Lang.,, January 1985, pp. 97\u2013107.","DOI":"10.1145\/318593.318622"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Lichtenstein,O, Pnueli,A and Zuck,L, The Glory of the Past, Proc. Logics of Programs, New-York, June 1985.","DOI":"10.1007\/3-540-15648-8_16"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z. and Wolper, P., Synthesis of Communicating Processes from Temporal Logic Specifications, Trans. Prog. Lang and Systems 6, 1 (January 1984), pp. 68\u201393.","journal-title":"Trans. Prog. Lang and Systems"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Plaisted,D.A., A Low Level Language for Obtaining Decision Procedures for Classes of Temporal Logics, in Logics of Programs, vol. LNCS 164, Springer-Verlag, 1983, pp. 403\u2013420.","DOI":"10.1007\/3-540-12896-4_377"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume":"224","author":"A Pnueli","year":"1986","unstructured":"Pnueli, A, Application of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, Lecture Notes in Computer Science 224, (1986), pp. 510\u2013584, Springer-Verlag.","journal-title":"Lecture Notes in Computer Science"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli,A., The Temporal Logic of Programs, IEEE Annual Symp. on Foundations of Computer Science,, November 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"15_CR12","unstructured":"Rosner,R. and Pnueli,A., A Choppy Logic, in Symposium on Logic in Computer Science, Cambridge,Massachusetts, 1986, pp. 306\u2013313."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Schwartz,R.L., Melliar-Smith,P.M. and Vogt,F.H., An Interval Logic for Higher Level Temporal Reasoning, Conference on Principles of Distributed Computing,, 1983.","DOI":"10.1145\/800221.806720"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"Sistla, A.P. and Clarke, E.M., The Complexity of Propositional Linear Temporal Logics, J. ACM 32, 3 (July 1985), pp. 733\u2013749.","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:41Z","timestamp":1586579081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0012834","relation":{},"subject":[]}}