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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-008-0089-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2008237330
@@ Property / OpenAlex ID: W2008237330 / rank @@
+Normal rank
@@ 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