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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-51372-6_5
+Normal rank
@@ Property / OpenAlex ID @@
+W3037868455
@@ Property / OpenAlex ID: W3037868455 / rank @@
+Normal rank
@@ 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