Full Semantics Preservation in Model Transformation – A ...
Reference
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full semantics preservation in model transformation – a comparison of proof techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology, University of Twente, 2010.
Suggested BibTeX entry:
@techreport{HKRSSW10a,
author = {Mathias H{\"u}lsbusch and Barbara K{\"o}nig and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
institution = {Centre for Telematics and Information Technology, University of Twente},
number = {TR-CTIT-10-09},
title = {Full Semantics Preservation in Model Transformation -- A Comparison of Proof Techniques},
year = {2010}
}
