Sound and Complete Abstract Graph Transformation (Q3098055): Difference between revisions

@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+Q2769592
@@ Property / cites work: Q2769592 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Dynamic Communication Systems by Partner Abstraction
+Normal rank
@@ Property / cites work @@
+A Modal-Logic Based Graph Abstraction
@@ Property / cites work: A Modal-Logic Based Graph Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4296301
@@ Property / cites work: Q4296301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Q2852078
@@ Property / cites work: Q2852078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417906
@@ Property / cites work: Q4417906 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
+Normal rank
@@ Property / cites work @@
+Sound and Complete Abstract Graph Transformation
@@ Property / cites work: Sound and Complete Abstract Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Logical characterizations of heap abstractions
@@ Property / cites work: Logical characterizations of heap abstractions / rank @@
+Normal rank