Ehrig, Hartmut, Technische Universität Berlin, Germany
-
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 - Articles
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars
Abstract PDF -
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 - Articles
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors
Abstract PDF -
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 - Articles
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.