Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.

Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel

Browse the full MODELS paper archive.