Timed Automata Can Always Be Made Implementable (Q3090823): Difference between revisions

@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / 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-642-23217-6_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2196692106
@@ Property / OpenAlex ID: W2196692106 / rank @@
+Normal rank
@@ Property / cites work @@
+Sampled Semantics of Timed Automata
@@ Property / cites work: Sampled Semantics of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / 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 @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and Topological Semantics for Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Model-Checking of Linear-Time Properties in Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Analysis of Timed Automata Via Channel Machines
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Almost ASAP semantics: from timed models to timed implementations
+Normal rank
@@ Property / cites work @@
+Q2970258
@@ Property / cites work: Q2970258 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of weighted transition systems
+Normal rank