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
; ; ; ; ;
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar