Electronic Communications of the EASST
Hermann, Frank, Germany
-
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 - Articles
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Abstract PDF -
Volume 30: Graph and Model Transformation 2010 - Articles
Specification and Verification of Model Transformations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.