Automata over continuous time (Q1399970): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3289363
@@ Property / cites work: Q3289363 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical calculus of the ideas immanent in nervous activity
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4824486
@@ Property / cites work: Q4824486 / rank @@
+Normal rank
@@ Property / cites work @@
+On translations of temporal logic of actions into monadic second-order logic
+Normal rank
@@ Property / cites work @@
+Some definitional suggestions for automata theory
@@ Property / cites work: Some definitional suggestions for automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and the logic of one-place predicates
+Normal rank
@@ Property / cites work @@
+Q4349581
@@ Property / cites work: Q4349581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank