TY  - RPRT
TI  - Quantum Büchi Automata
AU  - Qisheng Wang
AU  - Mingsheng Ying
PY  - 2024
DO  - 10.1016/j.tcs.2024.114740
UR  - https://arxiv.org/abs/1804.08982
ID  - 1804.08982
ER  -