APA (7th ed.) Citation

Lin, D., & Lin, T. (2022). On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic.

Chicago Style (17th ed.) Citation

Lin, Deren, and Tianrong Lin. On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic. 2022.

MLA (9th ed.) Citation

Lin, Deren, and Tianrong Lin. On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic. 2022.