Showing Full Semantics Preservation in Model Transformation – A ...

Reference

Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Showing full semantics preservation in model transformation – a comparison of techniques. In Proc. of iFM '10 (Integrated Formal Methods), pages 183–198. Springer, 2010. LNCS 6396.

Suggested BibTeX entry:

@inproceedings{HKRSSW10b,
    author = {Mathias H{\"u}lsbusch and Barbara K{\"o}nig and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
    booktitle = {Proc. of iFM '10 (Integrated Formal Methods)},
    note = {{LNCS} 6396},
    pages = {183--198},
    publisher = {Springer},
    title = {Showing Full Semantics Preservation in Model Transformation -- A Comparison of Techniques},
    year = {2010}
}



See link.springer.com ...Tech report version
© University of Duisburg-Essen, Theoretical Computer Science group