Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Frank HermannHartmut EhrigFernando OrejasKrzysztof CzarneckiZinovy DiskinYingfei XiongSusann GottmannThomas EngelPublished in: Softw. Syst. Model. (2015)