{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:54:01Z","timestamp":1769975641092,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540677703","type":"print"},{"value":"9783540450474","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_34","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T03:00:33Z","timestamp":1167447633000},"page":"450-463","source":"Crossref","is-referenced-by-count":69,"title":["Temporal-logic Queries"],"prefix":"10.1007","author":[{"given":"William","family":"Chan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/3-540-63166-6_28","volume-title":"Computer Aided Verification","author":"I. Beer","year":"1997","unstructured":"Beer, I., Ben-David, S., Eisner, C.: Efficient detection of vacuity in ACTL formulas. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 279\u2013290. Springer, Heidelberg (1997)"},{"issue":"1","key":"34_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1023\/A:1008744030390","volume":"15","author":"S. Bensalem","year":"1999","unstructured":"Bensalem, S., Lakhnech, Y.: Automatic generation of invariants. Formal Methods in System Design\u00a015(1), 75\u201392 (1999)","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"34_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACMTransactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACMTransactions on Programming Languages and Systems"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-52148-8_30","volume-title":"Automatic Verification Methods for Finite State Systems","author":"O. Coudert","year":"1990","unstructured":"Coudert, O., Berthet, C., Madre, J.C.: Verification of synchronous sequential machines based on symbolic execution. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 365\u2013373. Springer, Heidelberg (1990)"},{"key":"34_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E.A. Emerson","year":"1985","unstructured":"Emerson, E.A., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and Systems Sciences\u00a030, 1\u201321 (1985)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Ernst, M., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. In: ICSE99 (ed.) Proceedings of the 1999 International Conference on Software Engineering: ICSE 1999, Los Angeles, USA, pp. 213\u2013224. ACM, New York (1999)","DOI":"10.1145\/302405.302467"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and Systems Sciences\u00a018, 194\u2013211 (1979)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"34_CR8","first-page":"451","volume-title":"35th Design Automation Conference, Proceedings 1998","author":"S.G. Govindaraju","year":"1998","unstructured":"Govindaraju, S.G., Dill, D.L., Hu, A.J., Horowitz, M.A.: Approximate reachability with BDDs using overlapping projections. In: 35th Design Automation Conference, Proceedings 1998, San Francisco, USA, pp. 451\u2013456. ACM, New York (1998)"},{"issue":"3","key":"34_CR9","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"Grumberg, O., Long, D.E.: Model checking and modular verification. ACM Transactions on Programming Languages and Systems\u00a016(3), 843\u2013871 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Jeffords, R., Heitmeyer, C.: Automatic generation of state invariants from requirements specifications. In: FSE6 (ed.) Proceedings of the ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering: FSE-6, Lake Buena Vista, Florida, USA, November 1998, pp. 56\u201369 (1998)","DOI":"10.1145\/288195.288218"},{"key":"34_CR11","first-page":"445","volume-title":"35th Design Automation Conference, Proceedings 1998","author":"K. Ravi","year":"1998","unstructured":"Ravi, K., McMillan, K.L., Shiple, T.R., Somenzi, F.: Approximation and decomposition of binary decision diagrams. In: 35th Design Automation Conference, Proceedings 1998, San Francisco, USA, pp. 445\u2013450. ACM, New York (1998)"},{"key":"34_CR12","unstructured":"Vaziri, M., Holzmann, G.: Automatic invariant deduction in Spin. In: Gregoire, J.-C., Holzmann, G.J., Peled, D.A. (eds.) The SPIN Verification System: The 4th International Workshop, Paris, France (November 1998)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T21:25:34Z","timestamp":1553030734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/10722167_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}