Reference:

Andreas Gaiser and Stefan Schwoon. Comparison of algorithms for checking emptiness on Büchi automata. Technical Report 0910.3766, Computing Research Repository, 2009.

Suggested BibTeX entry:

@techreport{GS09b,
    author = {Andreas Gaiser and Stefan Schwoon},
    institution = {Computing Research Repository},
    number = {0910.3766},
    title = {Comparison of Algorithms for Checking Emptiness on {B\"uchi} Automata},
    year = {2009}
}