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)
2010Buch
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
Autor*in:
Hülsbusch, MathiasUDE
LSF ID
50188
Sonstiges
der Hochschule zugeordnete*r Autor*in
;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Rensink, Arend;Semenyak, Maria;Soltenborn, Christian;Wehrheim, Heike
Erscheinungsort:
Twente
Verlag:
Centre for Telematics and Information Technology
Erscheinungsjahr:
2010
WWW URL:
http://eprints.eemcs.utwente.nl/17500/
Sprache des Textes:
Englisch
In Serie
CTIT Technical Report Series
in:
Band TR-CTIT-10-09