Zielonka DAG acceptance and regular languages over infinite words (Q6067335): Difference between revisions

@@ Property / cites work @@
+Why These Automata Types?
@@ Property / cites work: Why These Automata Types? / rank @@
+Normal rank
@@ Property / cites work @@
+Inherent size blowup in \(\omega\)-automata
@@ Property / cites work: Inherent size blowup in \(\omega\)-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Q4027622
@@ Property / cites work: Q4027622 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769435
@@ Property / cites work: Q2769435 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q4501665
@@ Property / cites work: Q4501665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank