Structural Complexity of Omega-Automata.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton

Browse the full STACS paper archive.