@inproceedings{GKSV03, author = "S. Gurumurthy and O. Kupferman and F. Somenzi and M.Y. Vardi", title = "On Complementing Nondeterministic {B\"uchi} Automata", booktitle = "12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "2003" }