Formal Analysis of Model Transformations Based on Triple Graph Grammars
| Author: | Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas |
|---|---|
| Document Type: | Article |
| Parent Title (English): | Mathematical Structures in Computer Science |
| Volume: | 24 |
| Issue: | 4 |
| First Page: | 1 |
| Last Page: | 57 |
| Year of first publication: | 2014 |
| DOI: | https://doi.org/10.1017/S0960129512000370 |

