Decidable integration graphs. (Q1854273): Difference between revisions

@@ Property / author @@
-Yonit Kesten
@@ Property / author: Yonit Kesten / rank @@
-Normal rank
@@ Property / author @@
-Joseph Sifakis
@@ Property / author: Joseph Sifakis / rank @@
-Normal rank
@@ Property / author @@
-Sergio Yovine
@@ Property / author: Sergio Yovine / rank @@
-Normal rank
@@ Property / author @@
+Yonit Kesten
@@ Property / author: Yonit Kesten / rank @@
+Normal rank
@@ Property / author @@
+Joseph Sifakis
@@ Property / author: Joseph Sifakis / rank @@
+Normal rank
@@ Property / author @@
+Sergio Yovine
@@ Property / author: Sergio Yovine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1979561589
@@ Property / OpenAlex ID: W1979561589 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid 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 @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+Normal rank
@@ Property / cites work @@
+From ATP to timed graphs and hybrid systems
@@ Property / cites work: From ATP to timed graphs and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1854273