Collaborated with:
H.Ehrig F.Hermann
Talks about:
transform (1) grammar (1) correct (1) complet (1) condit (1) applic (1) tripl (1) negat (1) model (1) graph (1)
Person: Christoph Sartorius
DBLP: Sartorius:Christoph
Contributed to:
Wrote 1 papers:
- GT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation
- Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.