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 |