Constructing Exponential-Size Deterministic Zielonka Automata (2006)

by B Genest, A Muscholl
Venue:In ICALP’06, LNCS 4052