König, Barbara, Germany
-
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 - Articles
Bisimulation Verification for the DPO Approach with Borrowed Contexts
Abstract PDF -
Volume 14: Petri Nets and Graph Transformations 2008 - Preface
Preface
Details PDF -
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 - Articles
Recognizable Graph Languages for Checking Invariants
Abstract PDF -
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 -
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 - Articles
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.