Sciweavers

4074 search results - page 63 / 815
» Abstract Graph Transformation
Sort
View
IANDC
2008
76views more  IANDC 2008»
15 years 1 months ago
A framework for the verification of infinite-state graph transformation systems
Paolo Baldan, Andrea Corradini, Barbara König
ECEASST
2006
54views more  ECEASST 2006»
15 years 1 months ago
Reversing graph transformations
Pawel Sobocinski
ECEASST
2006
48views more  ECEASST 2006»
15 years 1 months ago
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
Szilvia Varró-Gyapay, Dániel Varr&oa...
ENTCS
2006
119views more  ENTCS 2006»
15 years 1 months ago
Cloning and Expanding Graph Transformation Rules for Refactoring
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...