## Formal Analysis of Model Transformations Based on Triple Graph Grammars

Author: F. Hermann, H. Ehrig, U. Golas, F. Orejas Article Mathematical Structures in Computer Science 24 4 1 57 2014 http://dx.doi.org/10.1017/S0960129512000370

$Rev: 13581$