TY  - RPRT
TI  - Almost Linear Büchi Automata
AU  - Tomáš Babiak
AU  - Vojtěch Řehák
AU  - Jan Strejček
PY  - 2009
DO  - 10.4204/eptcs.8.2
UR  - https://arxiv.org/abs/0911.2033
ID  - 0911.2033
ER  -