Rensink, Arend, Netherlands
-
Volume 18: Graph Transformation and Visual Modeling Techniques 2009 - Articles
Repotting the Geraniums: On Nested Graph Transformation Rules
Abstract PDF -
Volume 32: Graph-Based Tools 2010 - Articles
Neighbourhood Abstraction in GROOVE
Abstract PDF -
Volume 32: Graph-Based Tools 2010 - Articles
Incremental Pattern Matching in Graph-Based State Space Exploration
Abstract PDF -
Volume 32: Graph-Based Tools 2010 - Articles
Distributed Graph-Based State Space Generation
Abstract PDF -
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium - Articles
Using Graph Transformations and Graph Abstractions for Software Verification
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.