Unfolding Symbolic Attributed Graph Grammars (Q5100727): Difference between revisions

@@ Property / cites work @@
+Unfolding Grammars in Adhesive Categories
@@ Property / cites work: Unfolding Grammars in Adhesive Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding Graph Transformation Systems: Theory and Applications to Verification
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding semantics of graph transformation
@@ Property / cites work: Unfolding semantics of graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Towards the Verification of Attributed Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Delaying Constraint Solving in Symbolic Graph Transformation
+Normal rank
@@ Property / cites work @@
+Lazy Graph Transformation
@@ Property / cites work: Lazy Graph Transformation / rank @@
+Normal rank