@incollection{SomenziBloem:LTL:CAV00,
    Author = {Somenzi, Fabio and Bloem, Roderick},
    BookTitle = {Computer Aided Verification},
    Editor = {Emerson, E.Allen and Sistla, AravindaPrasad},
    File = {Efficient Büchi Automata from LTL Formulae - Somenzi, Bloem (0) (0) - a - a - u.pdf},
    ISBN = {978-3-540-67770-3},
    Language = {English},
    Pages = {248-263},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Efficient B{\"u}chi Automata from LTL Formulae},
    URL = {http://dx.doi.org/10.1007/10722167\_21},
    Volume = {1855},
    Year = {2000},
    bdsk-url-1 = {http://dx.doi.org/10.1007/10722167\_21},
    date-added = {2015-09-30 10:05:35 +0000},
    date-modified = {2015-09-30 10:05:35 +0000},
    file-2 = {Efficient Büchi Automata from LTL Formulae - Somenzi, Bloem (1) (0) - a - a - u.pdf},
    doi = {10.1007/10722167_21}
}

@incollection{SomenziBloem:LTL:CAV00, Author = {Somenzi, Fabio and Bloem, Roderick}, BookTitle = {Computer Aided Verification}, Editor = {Emerson, E.Allen and Sistla, AravindaPrasad}, File = {Efficient Büchi Automata from LTL Formulae - Somenzi, Bloem (0) (0) - a - a - u.pdf}, ISBN = {978-3-540-67770-3}, Language = {English}, Pages = {248-263}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Efficient B{\"u}chi Automata from LTL Formulae}, URL = {http://dx.doi.org/10.1007/10722167_21}, Volume = {1855}, Year = {2000}, bdsk-url-1 = {http://dx.doi.org/10.1007/10722167_21}, date-added = {2015-09-30 10:05:35 +0000}, date-modified = {2015-09-30 10:05:35 +0000}, file-2 = {Efficient Büchi Automata from LTL Formulae - Somenzi, Bloem (1) (0) - a - a - u.pdf}, doi = {10.1007/10722167_21} }