{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:13:17Z","timestamp":1725747197608},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642410703"},{"type":"electronic","value":"9783642410710"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41071-0_9","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T02:59:14Z","timestamp":1377831554000},"page":"115-130","source":"Crossref","is-referenced-by-count":3,"title":["Toward the Revision of CTL Models through Kripke Modal Transition Systems"],"prefix":"10.1007","author":[{"given":"Paulo T.","family":"Guerra","sequence":"first","affiliation":[]},{"given":"Aline","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. Springer (1999)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-47813-2_21","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M. Huth","year":"2002","unstructured":"Huth, M.: Model checking modal transition systems using kripke structures. In: Cortesi, A. (ed.) VMCAI 2002. LNCS, vol.\u00a02294, pp. 302\u2013316. Springer, Heidelberg (2002)"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"Alchourron, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change. J. Symb. Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Logic"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-16952-6_16","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2010","author":"P.T. Guerra","year":"2010","unstructured":"Guerra, P.T., Wassermann, R.: Revision of CTL models. In: Kuri-Morales, A., Simari, G.R. (eds.) IBERAMIA 2010. LNCS, vol.\u00a06433, pp. 153\u2013162. Springer, Heidelberg (2010)"},{"key":"9_CR5","unstructured":"Guerra, P.T.: Revis\u00e3o de modelos CTL. Master\u2019s thesis, Univ. S\u00e3o Paulo (2010)"},{"key":"9_CR6","first-page":"105","volume":"25","author":"O. Grumberg","year":"2011","unstructured":"Grumberg, O.: 2-valued and 3-valued abstraction-refinement in model checking. Information and Communication Security\u00a025, 105\u2013128 (2011)","journal-title":"Information and Communication Security"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-642-28891-3_32","volume-title":"NASA Formal Methods","author":"G. Chatzieleftheriou","year":"2012","unstructured":"Chatzieleftheriou, G., Bonakdarpour, B., Smolka, S.A., Katsaros, P.: Abstract model repair. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol.\u00a07226, pp. 341\u2013355. Springer, Heidelberg (2012)"},{"issue":"1","key":"9_CR8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1613\/jair.2420","volume":"31","author":"Y. Zhang","year":"2008","unstructured":"Zhang, Y., Ding, Y.: CTL model update for system modifications. Journal of Artificial Intelligence Research\u00a031(1), 113\u2013155 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logic 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, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"issue":"2","key":"9_CR10","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. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Proc. of KR, pp. 387\u2013395. Morgan Kaufmann (1991)","DOI":"10.1017\/CBO9780511526664.007"},{"issue":"8","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1016\/j.ic.2006.10.009","volume":"205","author":"O. Grumberg","year":"2007","unstructured":"Grumberg, O., Lange, M., Leucker, M., Shoham, S.: When not losing is better than winning: Abstraction and refinement for the full \u03bc-calculus. Inf. Comput.\u00a0205(8), 1130\u20131148 (2007)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41071-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,5]],"date-time":"2022-03-05T03:47:26Z","timestamp":1646452046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41071-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410703","9783642410710"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41071-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}