Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
https://doi.org/10.1007/s10270-012-0309-1
@article{DBLP:journals/sosym/0001EOCDXGE15,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Krzysztof Czarnecki and
Zinovy Diskin and
Yingfei Xiong and
Susann Gottmann and
Thomas Engel},
title = {Model synchronization based on triple graph grammars: correctness,
completeness and invertibility},
journal = {Software and Systems Modeling},
volume = {14},
number = {1},
pages = {241--269},
year = {2015},
url = {https://doi.org/10.1007/s10270-012-0309-1},
doi = {10.1007/s10270-012-0309-1},
timestamp = {Mon, 19 Aug 2019 19:38:26 +0200},
biburl = {https://dblp.org/rec/journals/sosym/0001EOCDXGE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}