{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:22Z","timestamp":1794381082541,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_91","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T18:53:21Z","timestamp":1284576801000},"page":"1099-1110","source":"Crossref","is-referenced-by-count":6,"title":["A Syntactic Characterization of Distributive LTL Queries"],"prefix":"10.1007","author":[{"given":"Marko","family":"Samer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Helmut","family":"Veith","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"91_CR1","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1109\/LICS.2001.932516","volume-title":"Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"G. Bruns","year":"2001","unstructured":"Bruns, G., Godefroid, P.: Temporal logic query checking. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 409\u2013417. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"3","key":"91_CR2","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1006\/jcss.2000.1734","volume":"62","author":"F. Buccafurri","year":"2001","unstructured":"Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: On ACTL formulas having linear counterexamples. Journal of Computer and System Sciences\u00a062(3), 463\u2013515 (2001)","journal-title":"Journal of Computer and System Sciences"},{"key":"91_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/10722167_34","volume-title":"Computer Aided Verification","author":"W. Chan","year":"2000","unstructured":"Chan, W.: Temporal-logic queries. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 450\u2013463. Springer, Heidelberg (2000)"},{"key":"91_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-45069-6_21","volume-title":"Computer Aided Verification","author":"M. Chechik","year":"2003","unstructured":"Chechik, M., Gurfinkel, A.: TLQSolver:Atemporal logic query checker. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 210\u2013214. Springer, Heidelberg (2003)"},{"key":"91_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Allen Emerson, E.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"91_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000); Extended version available as [7]"},{"issue":"5","key":"91_CR7","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E.M. Clarke","year":"2003","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM\u00a050(5), 752\u2013794 (2003)","journal-title":"Journal of the ACM"},{"issue":"5","key":"91_CR8","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016(5), 1521\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"91_CR9","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"91_CR10","first-page":"995","volume-title":"Handbook of Theoretical Computer Science : Formal Methods and Semantics","author":"E. Allen Emerson","year":"1990","unstructured":"Allen Emerson, E.: Temporal and modal logic. In: Handbook of Theoretical Computer Science: Formal Methods and Semantics, vol.\u00a0B, pp. 995\u20131067. Elsevier, Amsterdam (1990)"},{"issue":"10","key":"91_CR11","doi-asserted-by":"publisher","first-page":"898","DOI":"10.1109\/TSE.2003.1237171","volume":"29","author":"A. Gurfinkel","year":"2003","unstructured":"Gurfinkel, A., Chechik, M., Devereux, B.: Temporal logic query checking:A tool for model exploration. IEEE Transactions on Software Engineering\u00a029(10), 898\u2013914 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"91_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/587051.587073","volume-title":"Proceedings of the 10th ACMSIGSOFT Symposium on Foundations of Software Engineering (FSE)","author":"A. Gurfinkel","year":"2002","unstructured":"Gurfinkel, A., Devereux, B., Chechik, M.: Model exploration with temporal logic query checking. In: Proceedings of the 10th ACMSIGSOFT Symposium on Foundations of Software Engineering (FSE), pp. 139\u2013148. ACM Press, New York (2002)"},{"key":"91_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-45719-4_12","volume-title":"Algebraic Methodology and Software Technology","author":"S. Hornus","year":"2002","unstructured":"Hornus, S., Schnoebelen, P.: On solving temporal logic queries. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 163\u2013177. Springer, Heidelberg (2002)"},{"key":"91_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"J.-P. Queille","year":"1982","unstructured":"Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol.\u00a0137, pp. 337\u2013350. Springer, Heidelberg (1982)"},{"key":"91_CR15","unstructured":"Samer, M.: PhD thesis, Vienna University of Technology (in preparation)"},{"key":"91_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-540-45220-1_38","volume-title":"Computer Science Logic","author":"M. Samer","year":"2003","unstructured":"Samer, M., Veith, H.: Validity of CTL queries revisited. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 470\u2013483. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:31:11Z","timestamp":1619998271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_91","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99859","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}