Regular set of representatives for time-constrained MSC graphs (Q436617): Difference between revisions

@@ Property / cites work @@
+Checking Coverage for Infinite Collections of Timed Scenarios
+Normal rank
@@ Property / cites work @@
+Q2908850
@@ Property / cites work: Q2908850 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular set of representatives for time-constrained MSC graphs
+Normal rank
@@ Property / cites work @@
+Symbolically Bounding the Drift in Time-Constrained MSC Graphs
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+When Are Timed Automata Determinizable?
@@ Property / cites work: When Are Timed Automata Determinizable? / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Unfoldings for Networks of Timed Automata
@@ Property / cites work: Timed Unfoldings for Networks of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Unfoldings for Networks of Timed Automata
+Normal rank
@@ Property / cites work @@
+Distributed Time-Asynchronous Automata
@@ Property / cites work: Distributed Time-Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190778
@@ Property / cites work: Q5190778 / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order semantics approach to the clock explosion problem of timed automata
+Normal rank
@@ Property / cites work @@
+Q4474224
@@ Property / cites work: Q4474224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / rank @@
+Normal rank