{"language":[{"iso":"eng"}],"year":"2010","citation":{"mla":"Hülsbusch, Mathias, et al. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Centre for Telematics and Information Technology of the University of Twente, 2010.","bibtex":"@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede, The Netherlands}, title={Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information Technology of the University of Twente}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, year={2010} }","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.","ama":"Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente; 2010.","apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente.","ieee":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010."},"type":"report","_id":"8220","date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:13:20Z","status":"public","department":[{"_id":"66"}],"publisher":"Centre for Telematics and Information Technology of the University of Twente","author":[{"full_name":"Hülsbusch, Mathias","first_name":"Mathias","last_name":"Hülsbusch"},{"last_name":"König","full_name":"König, Barbara","first_name":"Barbara"},{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"full_name":"Semenyak, Maria","first_name":"Maria","last_name":"Semenyak"},{"full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227","first_name":"Christian","id":"1737","last_name":"Soltenborn"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"user_id":"14955","title":"Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques","place":"Enschede, The Netherlands"}