Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2010
Hülsbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H.
(2010)
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, Enschede.
ISSN 1381-3625
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||