Application of Graph Transformation in Verification of Dynamic Systems (Q3605472): Difference between revisions

@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438799
@@ Property / cites work: Q4438799 / 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 @@
+Weakest Preconditions for High-Level Programs
@@ Property / cites work: Weakest Preconditions for High-Level Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling of Communication Protocols by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q2852078
@@ Property / cites work: Q2852078 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank