TY  - RPRT
TI  - Comparison of Algorithms for Checking Emptiness on Buechi Automata
AU  - Andreas Gaiser
AU  - Stefan Schwoon
PY  - 2009
UR  - https://arxiv.org/abs/0910.3766
ID  - 0910.3766
ER  -