Network invariants for real-time systems (Q1019007): Difference between revisions

@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of systems with many identical timed processes
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817528
@@ Property / cites work: Q4817528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847414
@@ Property / cites work: Q2847414 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Network Invariants Automatically
@@ Property / cites work: Inferring Network Invariants Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Refinement in Model Checking
@@ Property / cites work: Abstraction and Refinement in Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Control and data abstraction: The cornerstones of practical formal verification
+Normal rank
@@ Property / cites work @@
+Automatic verification of parameterized networks of processes
+Normal rank
@@ Property / cites work @@
+Q4418006
@@ Property / cites work: Q4418006 / rank @@
+Normal rank