Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
MODELS, 2015.
@article{MODELS-J-2011-HermannEOCDXGE15, author = "Frank Hermann and Hartmut Ehrig and Fernando Orejas and Krzysztof Czarnecki and Zinovy Diskin and Yingfei Xiong and Susann Gottmann and Thomas Engel", doi = "10.1007/s10270-012-0309-1", journal = "{Software and System Modeling}", number = 1, pages = "241--269", title = "{Model synchronization based on triple graph grammars: correctness, completeness and invertibility}", volume = 14, year = 2015, }