Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions

Hartmut Ehrig, Frank Hermann, Christoph Sartorius. Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. ECEASST, 18, 2009. [doi]

Abstract

Abstract is missing.