@inproceedings{Kupferman:2005:CCN:2140653.2140672,
    Address = {Berlin, Heidelberg},
    Author = {Kupferman, Orna and Vardi, Moshe Y.},
    BookTitle = {Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems},
    File = {Complementation constructions for nondeterministic automata on infinite words - Kupferman, Vardi (1) (0) - a - a - e.pdf},
    ISBN = {3-540-25333-5, 978-3-540-25333-4},
    Location = {Edinburgh, UK},
    Pages = {206--221},
    Publisher = {Springer-Verlag},
    Series = {TACAS'05},
    Title = {Complementation constructions for nondeterministic automata on infinite words},
    URL = {http://dx.doi.org/10.1007/978-3-540-31980-1\_14},
    Year = {2005},
    acmid = {2140672},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1\_14},
    date-added = {2013-10-28 11:46:20 +0000},
    date-modified = {2013-10-28 11:46:20 +0000},
    file-2 = {Complementation constructions for nondeterministic automata on infinite words - Kupferman, Vardi (0) (0) - a - a - e.pdf},
    numpages = {16},
    doi = {10.1007/978-3-540-31980-1_14}
}

@inproceedings{Kupferman:2005:CCN:2140653.2140672, Address = {Berlin, Heidelberg}, Author = {Kupferman, Orna and Vardi, Moshe Y.}, BookTitle = {Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems}, File = {Complementation constructions for nondeterministic automata on infinite words - Kupferman, Vardi (1) (0) - a - a - e.pdf}, ISBN = {3-540-25333-5, 978-3-540-25333-4}, Location = {Edinburgh, UK}, Pages = {206--221}, Publisher = {Springer-Verlag}, Series = {TACAS'05}, Title = {Complementation constructions for nondeterministic automata on infinite words}, URL = {http://dx.doi.org/10.1007/978-3-540-31980-1_14}, Year = {2005}, acmid = {2140672}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1_14}, date-added = {2013-10-28 11:46:20 +0000}, date-modified = {2013-10-28 11:46:20 +0000}, file-2 = {Complementation constructions for nondeterministic automata on infinite words - Kupferman, Vardi (0) (0) - a - a - e.pdf}, numpages = {16}, doi = {10.1007/978-3-540-31980-1_14} }