Constructing Exponential-size Deterministic Zielonka Automata (2006)

by B Genest, A Muscholl
Venue:Proc. of ICALP’06, LNCS 4051