{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:46:54Z","timestamp":1743097614394,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642280375"},{"type":"electronic","value":"9783642280382"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28038-2_13","type":"book-chapter","created":{"date-parts":[[2012,4,23]],"date-time":"2012-04-23T11:01:33Z","timestamp":1335178893000},"page":"164-178","source":"Crossref","is-referenced-by-count":1,"title":["Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge"],"prefix":"10.1007","author":[{"given":"Bo\u017cena","family":"Wo\u017ana-Szcze\u015bniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-36577-X_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Benedetti","year":"2003","unstructured":"Benedetti, M., Cimatti, A.: Bounded Model Checking for Past LTL. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 18\u201333. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, U.: Bounded Model Checking. In: Highly Dependable Software. Advances in Computers, vol.\u00a058. Academic Press (2003)","key":"13_CR2","DOI":"10.1016\/S0065-2458(03)58003-2"},{"doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press (2001)","key":"13_CR3","DOI":"10.1017\/CBO9781107050884"},{"unstructured":"Bryant, R.: Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification. In: Proc. of the ICCAD 1995, pp. 236\u2013243 (1995)","key":"13_CR4"},{"key":"13_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/3-540-44585-4_43","volume-title":"Computer Aided Verification","author":"F. Copty","year":"2001","unstructured":"Copty, F., Fix, L., Fraer, R., Giunchiglia, E., Kamhi, G., Tacchella, A., Vardi, M.Y.: Benefits of Bounded Model Checking at an Industrial Setting. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 436\u2013453. Springer, Heidelberg (2001)"},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"E.A. Emerson","year":"1992","unstructured":"Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative Temporal Reasoning. Real-Time Systems\u00a04(4), 331\u2013352 (1992)","journal-title":"Real-Time Systems"},{"key":"13_CR8","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"R. Fagin","year":"1992","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y.: What Can Machines Know? On the Properties of Knowledge in Distributed Systems. Journal of the ACM\u00a039(2), 328\u2013376 (1992)","journal-title":"Journal of the ACM"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica\u00a075(1), 125\u2013157 (2003)","journal-title":"Studia Logica"},{"issue":"2","key":"13_CR11","first-page":"167","volume":"55","author":"W. Penczek","year":"2003","unstructured":"Penczek, W., Lomuscio, A.: Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. Fundamenta Informaticae\u00a055(2), 167\u2013185 (2003)","journal-title":"Fundamenta Informaticae"},{"issue":"1-2","key":"13_CR12","first-page":"135","volume":"51","author":"W. Penczek","year":"2002","unstructured":"Penczek, W., Wo\u017ana, B., Zbrzezny, A.: Bounded Model Checking for the Universal Fragment of CTL. Fundamenta Informaticae\u00a051(1-2), 135\u2013156 (2002)","journal-title":"Fundamenta Informaticae"},{"unstructured":"Raimondi, F., Lomuscio, A.: Automatic Verification of Multi-agent Systems by Model Checking via OBDDs. Journal of Applied Logic (2005)","key":"13_CR13"},{"unstructured":"Sorea, M.: Bounded Model Checking for Timed Automata. In: Proc. of the MTCS 2002. ENTCS, vol.\u00a068, Elsevier Science Publishers (2002)","key":"13_CR14"},{"unstructured":"van der Meyden, R., Su, K.: Symbolic Model Checking the Knowledge of the Dining Cryptographers. In: Proc. of the CSFW 2004, pp. 280\u2013291. IEEE Computer Society (2004)","key":"13_CR15"},{"issue":"1","key":"13_CR16","first-page":"65","volume":"63","author":"B. Wo\u017ana","year":"2004","unstructured":"Wo\u017ana, B.: Bounded Model Checking for the Universal Fragment of CTL*. Fundamenta Informaticae\u00a063(1), 65\u201387 (2004)","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"Wo\u017ana, B., Lomuscio, A., Penczek, W.: Bounded Model Checking for Knowledge over Real Time. In: Proc. of the AAMAS 2005, vol.\u00a0I, pp. 165\u2013172. ACM Press (2005)","key":"13_CR17","DOI":"10.1145\/1082473.1082498"}],"container-title":["Lecture Notes in Computer Science","Advances in Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28038-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:56:59Z","timestamp":1556701019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28038-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642280375","9783642280382"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28038-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}