Structural Complexity of Omega-Automata

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton. Structural Complexity of Omega-Automata. In Ernst W. Mayr, Claude Puech, editors, STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings. Volume 900 of Lecture Notes in Computer Science, pages 143-156, Springer, 1995.

Abstract

Abstract is missing.