Correctness of Model Synchronization Based on Triple Graph Grammars.

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong

Browse the full MODELS paper archive.