TY  - RPRT
TI  - Backward deterministic and weak alternating $ω$-automata
AU  - Sebastian Preugschat
AU  - Thomas Wilke
PY  - 2017
UR  - https://arxiv.org/abs/1701.01971
ID  - 1701.01971
ER  -