Sciweavers

4074 search results - page 63 / 815
» Abstract Graph Transformation
Sort
View
IANDC
2008
76views more  IANDC 2008»
14 years 10 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»
14 years 10 months ago
Reversing graph transformations
Pawel Sobocinski
ECEASST
2006
48views more  ECEASST 2006»
14 years 10 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»
14 years 10 months ago
Cloning and Expanding Graph Transformation Rules for Refactoring
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...