On a class of timer hybrid systems reducible to finite state automata (Q1842525): Difference between revisions

@@ Property / author @@
-Kemal İnan
@@ Property / author: Kemal İnan / rank @@
-Normal rank
@@ Property / author @@
+Kemal İnan
@@ Property / author: Kemal İnan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037099
@@ Property / cites work: Q4037099 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum and maximum delay problems in real-time 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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Using mappings to prove timing properties
@@ Property / cites work: Using mappings to prove timing properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845331
@@ Property / cites work: Q4845331 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01438608
+Normal rank
@@ Property / OpenAlex ID @@
+W2024861279
@@ Property / OpenAlex ID: W2024861279 / rank @@
+Normal rank