@inproceedings{GKSV03,
    Author = {Gurumurthy, Sankar and Kupferman, Orna and Somenzi, Fabio and Vardi, Moshe Y.},
    BookTitle = {Correct Hardware Design and Verification Methods},
    File = {On Complementing Nondeterministic Büchi Automata - Gurumurthy, Kupferman, Somenzi, Vardi (0) (0) - a - a - r.pdf},
    Keywords = {complementation of Buechi automata},
    Pages = {96--110},
    Series = {Lecture Notes in Computer Science},
    Title = {On Complementing Nondeterministic B{\"u}chi Automata},
    Volume = {2860},
    Year = {2003},
    bdsk-url-1 = {http://www.springerlink.com/content/8qh9vn8kuq37mbfn/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-39724-3\_10},
    date-added = {2012-04-04 10:42:57 +0200},
    date-modified = {2012-04-14 09:46:41 +0000},
    doi = {10.1007/978-3-540-39724-3_10}
}

@inproceedings{GKSV03, Author = {Gurumurthy, Sankar and Kupferman, Orna and Somenzi, Fabio and Vardi, Moshe Y.}, BookTitle = {Correct Hardware Design and Verification Methods}, File = {On Complementing Nondeterministic Büchi Automata - Gurumurthy, Kupferman, Somenzi, Vardi (0) (0) - a - a - r.pdf}, Keywords = {complementation of Buechi automata}, Pages = {96--110}, Series = {Lecture Notes in Computer Science}, Title = {On Complementing Nondeterministic B{\"u}chi Automata}, Volume = {2860}, Year = {2003}, bdsk-url-1 = {http://www.springerlink.com/content/8qh9vn8kuq37mbfn/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-39724-3_10}, date-added = {2012-04-04 10:42:57 +0200}, date-modified = {2012-04-14 09:46:41 +0000}, doi = {10.1007/978-3-540-39724-3_10} }