Robust parametric reachability for timed automata (Q846009): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938622
@@ Property / cites work: Q4938622 / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418693
@@ Property / cites work: Q4418693 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank