On Complementing Nondeterministic Buchi Automata, in: (2003)

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