{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:19Z","timestamp":1725663679936},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:52:23Z","timestamp":1330249943000},"page":"477-487","source":"Crossref","is-referenced-by-count":1,"title":["An automata theoretic approach to Temporal Logic"],"prefix":"10.1007","author":[{"given":"Gjalt G.","family":"Jong","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"PNUELI, A., \u201cApplications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends,\u201d Current Trends in Concurrency: Overviews and Tutorials, ed. J. W. de Bakker, W.-P. de Roever and G. Rozenberg, Lecture Notes in Computer Science 224, Springer Verlag, Berlin, pp. 510\u2013584.","DOI":"10.1007\/BFb0027047"},{"issue":"no.3","key":"44_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TC.1982.1675978","volume":"C-31","author":"G. Bochmann v.","year":"1982","unstructured":"v. BOCHMANN, G., \u201cHardware Specification with Temporal Logic: An Example,\u201d IEEE Trans. on Computers, vol. C-31, no. 3, March 1982, pp. 223\u2013231.","journal-title":"IEEE Trans. on Computers"},{"key":"44_CR3","unstructured":"JANSSEN, G. L. J. M., \u201cHardware verification using Temporal Logic: A Practical View,\u201d Formal VLSI Correctness Verification, VLSI Design Methods-II, Proc. of the IMEC-IFIP WG10.2 WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, ed. L. J. M. Claesen, North-Holland, 1990, pp. 159\u2013168."},{"key":"44_CR4","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P. Wolper","year":"1983","unstructured":"WOLPER, P., \u201cTemporal Logic Can Be More Expressive,\u201d Information and Control, vol. 56, 1983, pp. 72\u201399.","journal-title":"Information and Control"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"WOLPER, P., M. Y. VARDI, and A. P. SISTLA, \u201cReasoning about Infinite Computation Paths,\u201d Proc. 24th Ann. Symp. on Foundations of Computer Science, Tucson, AZ, November 7\u20139,1983, pp. 185\u2013193.","DOI":"10.1109\/SFCS.1983.51"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"MANNA, Z. and A. PNUELI, \u201cSpecification and Verification of Concurrent Programs by \u2200-Automata,\u201d Proc. 14th ACM Symp. on Principles of Programming Languages, Munich, January 21\u201323, 1987, pp. 1\u201312.","DOI":"10.1145\/41625.41626"},{"issue":"no.1","key":"44_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/59287.62028","volume":"11","author":"B. Alpern","year":"1989","unstructured":"ALPERN, B. and F. B. SCHNEIDER, \u2018Verifying Temporal Properties without Temporal Logic,\u201d ACM Trans. on Programming Languages and Systems, vol. 11, no. 1, January 1989, pp. 147\u2013167.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"44_CR8","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0022-0000(74)80051-6","volume":"8","author":"Y. Choueka","year":"1974","unstructured":"CHOUEKA, Y., \u201cTheories of Automata on \u03a9-Tapes: a Simplified Approach,\u201d J. Comput. System Sci., vol. 8, 1974, pp. 117\u2013141.","journal-title":"J. Comput. System Sci."},{"key":"44_CR9","first-page":"465","volume-title":"Lecture Notes in Computer Science 194","author":"A. P. Sistla","year":"1985","unstructured":"SISTLA, A. P., M. Y. VARDI, and P. WOLPER, \u201cThe Complementation Problems for B\u00fcchi Automata with Applications to Temporal Logic,\u201d Proc. 12th Int. Colloquium on Automata, Languages and Programming (ICALP'85), Lecture Notes in Computer Science 194, Springer Verlag, Berlin, Napflion, Greece, July 1985, pp. 465\u2013474."},{"key":"44_CR10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M. O. Rabin","year":"1959","unstructured":"RABIN, M. O. and D. SCOTT, \u201cFinite Automata and their Decision Problems,\u201d IBM J. Res. Develop., vol. 3, 1959, pp. 114\u2013125.","journal-title":"IBM J. Res. Develop."},{"key":"44_CR11","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R. Mcnaughton","year":"1966","unstructured":"McNAUGHTON, R., \u201cTesting an Generating Infinite Sequences by a Finite Automaton,\u201d Information and Control, vol. 9, 1966, pp. 521\u2013530.","journal-title":"Information and Control"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"LICHTENSTEIN, O. and A. PNUELI, \u201cChecking That Finite State Concurrent Programs Satisfy Their Linear Specification,\u201d Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, January 14\u201316, 1985, pp. 97\u2013107.","DOI":"10.1145\/318593.318622"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:03Z","timestamp":1605646683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}