Hülsbusch, Mathias; König, Barbara; Rensink, Arend; Semenyak, Maria; Soltenborn, Christian; Wehrheim, Heike:
Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
Twente: Centre for Telematics and Information Technology, 2010
(CTIT Technical Report Series ; TR-CTIT-10-09)
2010book
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science
Title in English:
Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
Author:
Hülsbusch, MathiasUDE
LSF ID
50188
Other
connected with university
;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Other
connected with university
;Rensink, Arend;Semenyak, Maria;Soltenborn, Christian;Wehrheim, Heike
Place of publication:
Twente
Publisher:
Centre for Telematics and Information Technology
Year of publication:
2010
WWW URL:
http://eprints.eemcs.utwente.nl/17500/
Language of text:
English
In Series
CTIT Technical Report Series
in:
Vol. TR-CTIT-10-09