A Perfect Class of Context-Sensitive Timed Languages (Q2817374): 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 @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking of Ordered Multi-Pushdown Automata
@@ Property / cites work: Model-Checking of Ordered Multi-Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Characterization for Dense-Time Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Reachability Problem for Weak Multi-Pushdown Automata
+Normal rank
@@ Property / cites work @@
+A Perfect Model for Bounded Verification
@@ Property / cites work: A Perfect Model for Bounded Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Scope-Bounded Pushdown Languages
@@ Property / cites work: Scope-Bounded Pushdown Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Unifying Approach for Multistack Pushdown Automata
+Normal rank
@@ Property / cites work @@
+The Language Theory of Bounded Context-Switching
@@ Property / cites work: The Language Theory of Bounded Context-Switching / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Timed Automata
@@ Property / cites work: Recursive Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Event-Clock Visibly Pushdown Automata
@@ Property / cites work: Event-Clock Visibly Pushdown Automata / rank @@
+Normal rank