Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Q6487310): Difference between revisions

@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353558
@@ Property / cites work: Q4353558 / rank @@
+Normal rank
@@ Property / cites work @@
+k-Inductive Invariant Checking for Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Graph and model transformation. General framework and applications
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Probabilistic timed graph transformation systems
@@ Property / cites work: Probabilistic timed graph transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional analysis of probabilistic timed graph transformation systems
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Monadic Second-Order Properties of Graph Programs
+Normal rank
@@ Property / cites work @@
+Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
+Normal rank
@@ Property / cites work @@
+On the border of causality: contact and confusion
@@ Property / cites work: On the border of causality: contact and confusion / rank @@
+Normal rank