{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:47Z","timestamp":1725558947033},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254201"},{"type":"electronic","value":"9783540319849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31984-9_26","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T14:26:18Z","timestamp":1279031178000},"page":"341-356","source":"Crossref","is-referenced-by-count":10,"title":["Iterative Circular Coinduction for CoCasl in Isabelle\/HOL"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Hausmann","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b11968","volume-title":"CASL User Manual","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.D.: CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"unstructured":"Dennis, L.: Proof planning coinduction, Ph.D. thesis, Edinburgh University (1998)","key":"26_CR2"},{"key":"26_CR3","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/3-540-63104-6_29","volume-title":"Automated Deduction - CADE-14","author":"L. Dennis","year":"1997","unstructured":"Dennis, L., Bundy, A., Green, I.: Using a generalisation critic to find bisimulations for coinductive proofs. In: McCune, W. (ed.) CADE 1997. LNCS (LNAI), vol.\u00a01249, pp. 276\u2013290. Springer, Heidelberg (1997)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-40020-2_12","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Goguen","year":"2003","unstructured":"Goguen, J., Lin, K., Rosu, G.: Conditional circular coinductive rewriting with case analysis. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 216\u2013232. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Mossakowski, T.: HetCASL \u2013 heterogeneous specification. Language summary (2004)","key":"26_CR5","DOI":"10.1007\/978-3-540-40020-2_21"},{"unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set, Habilitation thesis (draft), University of Bremen (2004)","key":"26_CR6"},{"unstructured":"Mossakowski, T., Schr\u00f6der, L., Roggenbach, M., Reichel, H.: Algebraic-co-algebraic specification in CoCASL, J. Logic Algebraic Programming (to appear)","key":"26_CR7"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b96103","volume-title":"CASL reference manual","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: CASL reference manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"26_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL, vol.\u00a02283. Springer, Heidelberg (2002)"},{"unstructured":"Rosu, G.: Hidden logic, Ph.D. thesis, University of California at San Diego (2000)","key":"26_CR10"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: A theory of systems. Theoret. Comput. Sci.\u00a0249, 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31984-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:04Z","timestamp":1605760384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31984-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254201","9783540319849"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31984-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}