@incollection{thomas:althoff:wallmeier:2006,
    Author = {Althoff, ChristophSchulte and Thomas, Wolfgang and Wallmeier, Nico},
    BookTitle = {Implementation and Application of Automata},
    Editor = {Farr{\'e}, Jacques and Litovsky, Igor and Schmitz, Sylvain},
    File = {Observations on Determinization of Büchi Automata - Althoff, Thomas, Wallmeier (0) (0) - a - a - t.pdf},
    ISBN = {978-3-540-31023-5},
    Pages = {262-272},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Observations on Determinization of B{\"u}chi Automata},
    URL = {http://dx.doi.org/10.1007/11605157\_22},
    Volume = {3845},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11605157\_22},
    date-added = {2013-12-16 10:40:07 +0000},
    date-modified = {2013-12-16 10:40:07 +0000},
    doi = {10.1007/11605157_22}
}

@incollection{thomas:althoff:wallmeier:2006, Author = {Althoff, ChristophSchulte and Thomas, Wolfgang and Wallmeier, Nico}, BookTitle = {Implementation and Application of Automata}, Editor = {Farr{\'e}, Jacques and Litovsky, Igor and Schmitz, Sylvain}, File = {Observations on Determinization of Büchi Automata - Althoff, Thomas, Wallmeier (0) (0) - a - a - t.pdf}, ISBN = {978-3-540-31023-5}, Pages = {262-272}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Observations on Determinization of B{\"u}chi Automata}, URL = {http://dx.doi.org/10.1007/11605157_22}, Volume = {3845}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11605157_22}, date-added = {2013-12-16 10:40:07 +0000}, date-modified = {2013-12-16 10:40:07 +0000}, doi = {10.1007/11605157_22} }