Johannes Dyck, Holger Giese, Leen Lambers. Automatic verification of behavior preservation at the transformation level for relational model transformation. Software and Systems Modeling, 18(5):2937-2972, 2019. [doi]
@article{DyckGL19, title = {Automatic verification of behavior preservation at the transformation level for relational model transformation}, author = { Johannes Dyck and Holger Giese and Leen Lambers}, year = {2019}, doi = {10.1007/s10270-018-00706-9}, url = {https://doi.org/10.1007/s10270-018-00706-9}, researchr = {https://researchr.org/publication/DyckGL19}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {18}, number = {5}, pages = {2937-2972}, }