Hartmut Ehrig, Frank Hermann, Christoph Sartorius
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions
GT-VMT, 2009.
@article{GT-VMT-2009-EhrigHS,
author = "Hartmut Ehrig and Frank Hermann and Christoph Sartorius",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/270",
journal = "{Electronic Communications of the EASST}",
pages = "67--84",
title = "{Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions}",
volume = 18,
year = 2009,
}