Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation

Dyck, Johannes; Giese, Holger; Lambers, Leen

by Johannes Dyck, Holger Giese, Leen Lambers

Reference:

Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation (Johannes Dyck, Holger Giese, Leen Lambers), Technical report 112, Hasso Plattner Institute, University of Potsdam, 2017.

Bibtex Entry:

@TechReport{DGL17_TR,
AUTHOR = {Dyck, Johannes and Giese, Holger and Lambers, Leen},
TITLE = {{Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation}},
YEAR = {2017},
NUMBER = {112},
INSTITUTION = {Hasso Plattner Institute, University of Potsdam},
URL = {https://publishup.uni-potsdam.de/opus4-ubp/files/10027/tbhpi112.pdf}
}