A Kleene theorem for splitable signals (Q1029089): Difference between revisions

@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / 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 @@
+Accepting zeno words: A way toward timed refinements
+Normal rank
@@ Property / cites work @@
+Q4807830
@@ Property / cites work: Q4807830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501539
@@ Property / cites work: Q4501539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501663
@@ Property / cites work: Q4501663 / rank @@
+Normal rank