量子Büchi自动机的代数及逻辑刻画
韩召伟
Algebraic and Logical Characterizations of Quantum Büchi Automata
HAN Zhao-wei
电子学报 . 2013, (6): 1093 -1100 .  DOI: 10.3969/j.issn.0372-2112.2013.06.009