Yusi Lei, Fu Song, Wanwei Liu, Min Zhang. ω-pushdown automata. Science in China Series F: Information Sciences, 60(11), 2017. [doi]
@article{LeiSLZ17, title = {ω-pushdown automata}, author = {Yusi Lei and Fu Song and Wanwei Liu and Min Zhang}, year = {2017}, doi = {10.1007/s11432-016-9026-x}, url = {https://doi.org/10.1007/s11432-016-9026-x}, researchr = {https://researchr.org/publication/LeiSLZ17}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {60}, number = {11}, }