On Complementing Nondeterministic Büchi Automata (2003)

by S Gurumurthy, O Kupferman, F Somenzi, M Vardi
Venue:In Proc. of CHARME’03, LNCS 2860