@chapter{Schewe,
    Author = {Schewe, Sven},
    BookTitle = {Foundations of Software Science and Computational Structures},
    File = {Tighter Bounds for the Determinisation of Büchi Automata - Schewe (0) (0) - a - a - z.pdf},
    Keywords = {automata theory},
    Pages = {167--181},
    Series = {Lecture Notes in Computer Science},
    Title = {Tighter Bounds for the Determinisation of B{\"u}chi Automata},
    Volume = {5504},
    Year = {2009},
    bdsk-url-1 = {http://www.springerlink.com/content/x65u23rm43k2781w/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-00596-1\_13},
    date-added = {2012-08-22 15:36:08 +0200},
    date-modified = {2012-08-22 13:36:28 +0000},
    doi = {10.1007/978-3-642-00596-1_13}
}

@chapter{Schewe, Author = {Schewe, Sven}, BookTitle = {Foundations of Software Science and Computational Structures}, File = {Tighter Bounds for the Determinisation of Büchi Automata - Schewe (0) (0) - a - a - z.pdf}, Keywords = {automata theory}, Pages = {167--181}, Series = {Lecture Notes in Computer Science}, Title = {Tighter Bounds for the Determinisation of B{\"u}chi Automata}, Volume = {5504}, Year = {2009}, bdsk-url-1 = {http://www.springerlink.com/content/x65u23rm43k2781w/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-00596-1_13}, date-added = {2012-08-22 15:36:08 +0200}, date-modified = {2012-08-22 13:36:28 +0000}, doi = {10.1007/978-3-642-00596-1_13} }