Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
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.
Download
No fulltext has been uploaded.
Report
| English
Author
Hülsbusch, Mathias;
König, Barbara;
Rensink, Arend;
Semenyak, Maria;
Soltenborn, ChristianLibreCat 
;
Wehrheim, HeikeLibreCat
;
Wehrheim, HeikeLibreCatDepartment
Publishing Year
LibreCat-ID
Cite this
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.
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.
@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} }
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.
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.
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.
Google Scholar