@inproceedings{Piterman:2006:NBS:1157735.1158062,
    Address = {Washington, DC, USA},
    Author = {Piterman, Nir},
    BookTitle = {Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science},
    File = {From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata - Piterman (0) (1) - a - a - e.pdf},
    ISBN = {0-7695-2631-4},
    Pages = {255--264},
    Publisher = {IEEE Computer Society},
    Series = {LICS '06},
    Title = {From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata},
    URL = {http://dx.doi.org/10.1109/LICS.2006.28},
    Year = {2006},
    acmid = {1158062},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.28},
    date-added = {2012-05-21 19:15:57 +0200},
    date-modified = {2012-05-21 17:15:57 +0000},
    file-2 = {From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata - Piterman (1) (0) - a - a - e.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2006.28}
}

@inproceedings{Piterman:2006:NBS:1157735.1158062, Address = {Washington, DC, USA}, Author = {Piterman, Nir}, BookTitle = {Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science}, File = {From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata - Piterman (0) (1) - a - a - e.pdf}, ISBN = {0-7695-2631-4}, Pages = {255--264}, Publisher = {IEEE Computer Society}, Series = {LICS '06}, Title = {From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata}, URL = {http://dx.doi.org/10.1109/LICS.2006.28}, Year = {2006}, acmid = {1158062}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.28}, date-added = {2012-05-21 19:15:57 +0200}, date-modified = {2012-05-21 17:15:57 +0000}, file-2 = {From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata - Piterman (1) (0) - a - a - e.pdf}, numpages = {10}, doi = {10.1109/LICS.2006.28} }