Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph GrammarsGottmann, Susann ; Hermann, Frank ; Nachtigall, Nico et alin Baudry, Benoit; Dingel, Juergen; Lucio, Levi (Eds.) et al Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13) (2013) Detailed reference viewed: 232 (19 UL) |
||