2009 | - | 2009 | : | University of Waterloo |
- Model synchronization based on triple graph grammars: correctness, completeness and invertibilityFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel. SoSyM, 14(1):241-269, 2015. [doi]