{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:52Z","timestamp":1725670072115},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_14","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"194-208","source":"Crossref","is-referenced-by-count":9,"title":["Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus"],"prefix":"10.1007","author":[{"given":"Julian","family":"Bradfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Bradfield, J.C., Stirling, C.: Modal mu-calculi. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, vol.\u00a03, pp. 721\u2013756. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stevens, P.: Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus. Technical Report EDI\u2013INF\u2013RR\u20131410, University of Edinburgh, Includes Appendix (2012)","DOI":"10.1007\/978-3-642-28872-2_14"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software\u00a083(2), 283\u2013302 (2010)","journal-title":"Journal of Systems and Software"},{"key":"14_CR4","unstructured":"Object\u00a0Management Group. Object constraint language, version 2.0, formal\/2006-05-01 (May 2006)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional mu-calculus. Theor. Comput. Sci.\u00a027, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"OMG. MOF2.0 query\/view\/transformation (QVT) version 1.1. OMG document formal\/2009-12-05 (2009), \n                    \n                      www.omg.org","DOI":"10.1299\/jsmermd.2009._2A1-C20_1"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A simple game-theoretic approach to checkonly QVT Relations. Journal of Software and Systems Modeling (SoSyM) (March 16, 2011), doi: 10.1007\/s10270-011-0198-8","DOI":"10.1007\/s10270-011-0198-8"}],"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-642-28872-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T00:23:14Z","timestamp":1556497394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}