Probabilistic and Topological Semantics for Timed Automata (Q5458833): Difference between revisions

@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and Topological Semantics for Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Model-Checking of Linear-Time Properties in Timed Automata
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485837
@@ Property / cites work: Q4485837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245638
@@ Property / cites work: Q3245638 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank