Wolfgang Thomas. Complementation of Büchi Automata Revised. In Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg, editors, Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa. pages 109-120, Springer, 1999.
No references recorded for this publication.
No citations of this publication recorded.