{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:17:22Z","timestamp":1743085042706,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204916"},{"type":"electronic","value":"9783540399582"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39958-2_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"79-93","source":"Crossref","is-referenced-by-count":6,"title":["Inheritance of Temporal Logic Properties"],"prefix":"10.1007","author":[{"given":"Heike","family":"Wehrheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"Browne, M.C., Clarke, E.M., Grumberg, O.: Characterising Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science\u00a059, 115\u2013131 (1988)","journal-title":"Theoretical Computer Science"},{"key":"6_CR2","volume-title":"Model checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/jigpal\/7.1.55","volume":"7","author":"D. Dams","year":"1999","unstructured":"Dams, D.: Flat Fragments of CTL and CTL\n                  \u2009\u2217\u2009: Separating the Expressive and Distinguishing Powers. Logic Journal of IGPL\u00a07(1), 55\u201378 (1999)","journal-title":"Logic Journal of IGPL"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/LICS.1990.113739","volume-title":"Fifth Annual IEEE Symposium on Logic in Computer Science","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.: Three logics for branching bisimulation. In: Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 118\u2013129. IEEE Computer Society Press, Los Alamitos (1990)"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronisation skeletons. Science of Computer Programming\u00a02(3), 241\u2013266 (1982)","journal-title":"Science of Computer Programming"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0013022","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"E.A. Emerson","year":"1989","unstructured":"Emerson, E.A., Srinivasan, J.: Branching time temporal logic. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 123\u2013171. Springer, Heidelberg (1989)"},{"key":"6_CR7","unstructured":"Hatcliff, J., Dwyer, M., Zheng, H.: Slicing software for model construction. Higher-order and Symbolic Computation (to appear)"},{"key":"6_CR8","unstructured":"Huizing, K., Kuiper, R.: Reinforcing fragile base classes. In: Poetzsch-Heffter, A. (ed.) Workshop on Formal Techniques for Java Programs, ECOOP 2001 (2001)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/BF01178658","volume":"32","author":"G.T. Leavens","year":"1995","unstructured":"Leavens, G.T., Weihl, W.E.: Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica\u00a032, 705\u2013778 (1995)","journal-title":"Acta Informatica"},{"issue":"6","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR11","first-page":"313","volume-title":"Proceedings of the Seventeenth Annual International Computer Software & Applications Conference","author":"T. Oda","year":"1993","unstructured":"Oda, T., Araki, K.: Specification slicing in formal methods of software development. In: Proceedings of the Seventeenth Annual International Computer Software & Applications Conference, pp. 313\u2013319. IEEE Computer Society Press, Los Alamitos (1993)"},{"issue":"3","key":"6_CR12","first-page":"208","volume":"5","author":"A. Poetzsch-Heffter","year":"1999","unstructured":"Poetzsch-Heffter, A., Meyer, J.: Interactive verification environments for objectoriented languages. Journal of Universal Computer Science\u00a05(3), 208\u2013225 (1999)","journal-title":"Journal of Universal Computer Science"},{"key":"6_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"6_CR14","first-page":"613","volume-title":"Proc. IFIP Conference","author":"R. Glabbeek van","year":"1989","unstructured":"van Glabbeek, R., Weijland, W.P.: Refinement in branching time semantics. In: Proc. IFIP Conference, pp. 613\u2013618. North-Holland Publishing Company, Amsterdam (1989)"},{"key":"6_CR15","volume-title":"FMOODS 2000: Formal Methods for Open Object-Based Distributed Systems","author":"H. Wehrheim","year":"2000","unstructured":"Wehrheim, H.: Behavioural subtyping and property preservation. In: Smith, S., Talcott, C. (eds.) FMOODS 2000: Formal Methods for Open Object-Based Distributed Systems. Kluwer, Dordrecht (2000)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/3-540-44880-2_18","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"K. Winter","year":"2003","unstructured":"Winter, K., Smith, G.: Compositional Verification for Object-Z. In: Bert, D., Bowen, J.P., King, S., Walden, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 280\u2013299. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:18:56Z","timestamp":1553318336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}