Q3384894 (Q3384894): Difference between revisions

@@ Property / cites work @@
+Dense-Timed Pushdown Automata
@@ Property / cites work: Dense-Timed Pushdown Automata / 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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed recursive state machines: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+A Logical Characterization for Dense-Time Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Pushdown module checking
@@ Property / cites work: Pushdown module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock nested automata
@@ Property / cites work: Event-clock nested automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384894
@@ Property / cites work: Q3384894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813395
@@ Property / cites work: Q4813395 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Pushdown Automata Revisited
@@ Property / cites work: Timed Pushdown Automata Revisited / 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 @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+Q4939602
@@ Property / cites work: Q4939602 / rank @@
+Normal rank
@@ Property / cites work @@
+Event-Clock Visibly Pushdown Automata
@@ Property / cites work: Event-Clock Visibly Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Timed Automata
@@ Property / cites work: Recursive Timed Automata / rank @@
+Normal rank