Complementing deterministic Büchi automata in polynomial time

✍ Scribed by R.P. Kurshan

• Publisher: Elsevier Science
• Year: 1987
• Tongue: English
• Weight: 768 KB
• Volume: 35
• Category: Article
• ISSN: 0022-0000
• DOI: 10.1016/0022-0000(87)90036-5