Nested Timed Automata with Frozen Clocks (Q2945595): Difference between revisions

@@ Property / author @@
-Guo Qiang Li
@@ Property / author: Guo Qiang Li / rank @@
-Normal rank
@@ Property / author @@
+Guo Qiang Li
@@ Property / author: Guo Qiang Li / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-22975-1_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2185756575
@@ Property / OpenAlex ID: W2185756575 / 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 @@
+Recursive Timed Automata
@@ Property / cites work: Recursive Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Timed Automata
@@ Property / cites work: Nested Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about recursive hybrid automata?
@@ Property / cites work: What's decidable about recursive hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Dense-Timed Pushdown Automata
@@ Property / cites work: Dense-Timed Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Well-Structured Pushdown Systems
@@ Property / cites work: Well-Structured Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hyper-Ackermannian bounds for pushdown vector addition systems
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of systems with many identical timed processes
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2945595