{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:47:04Z","timestamp":1725558424319},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408017"},{"type":"electronic","value":"9783540452201"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45220-1_38","type":"book-chapter","created":{"date-parts":[[2010,6,25]],"date-time":"2010-06-25T23:33:58Z","timestamp":1277508838000},"page":"470-483","source":"Crossref","is-referenced-by-count":8,"title":["Validity of CTL Queries Revisited"],"prefix":"10.1007","author":[{"given":"Marko","family":"Samer","sequence":"first","affiliation":[]},{"given":"Helmut","family":"Veith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","first-page":"97","volume-title":"Proceedings of the 30th Annual Symposium on Principles of Programming Languages","author":"T. Ball","year":"2003","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: Localizing errors in counterexample traces. In: Proceedings of the 30th Annual Symposium on Principles of Programming Languages, pp. 97\u2013105. ACM Press, New York (2003)"},{"key":"38_CR2","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","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, pp. 409\u2013417. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"3","key":"38_CR3","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":"38_CR4","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":"38_CR5","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: A temporal logic query checker. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 210\u2013214. Springer, Heidelberg (2003) (to appear)"},{"key":"38_CR6","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., Emerson, E.A.: 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":"38_CR7","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":"38_CR8","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/302405.302467","volume-title":"Proceedings of the 21st International Conference on Software Engineering","author":"M.D. Ernst","year":"1999","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. In: Proceedings of the 21st International Conference on Software Engineering, pp. 213\u2013224. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"38_CR9","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/587051.587073","volume-title":"Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"A. Gurfinkel","year":"2002","unstructured":"Gurfinkel, A., Devereux, B., Chechik, M.: Model exploration with temporal logic query checking. In: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 139\u2013148. ACM Press, New York (2002)"},{"key":"38_CR10","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":"38_CR11","first-page":"643","volume-title":"Proceedings of the 41st Annual Symposium on Foundations of Computer Science","author":"M. Maidl","year":"2000","unstructured":"Maidl, M.: The common fragment of CTL and LTL. In: Proceedings of the 41st Annual Symposium on Foundations of Computer Science, pp. 643\u2013652. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"38_CR12","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":"38_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45241-9_1","volume-title":"Practical Aspects of Declarative Languages","author":"C.R. Ramakrishnan","year":"2001","unstructured":"Ramakrishnan, C.R.: A model checker for value-passing mu-calculus using logic programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 1\u201313. Springer, Heidelberg (2001)"},{"key":"38_CR14","unstructured":"Samer, M.: Temporal logic queries in model checking. Diploma thesis, Vienna University of Technology (May 2002)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45220-1_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T03:35:21Z","timestamp":1552620921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45220-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408017","9783540452201"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45220-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}