APA (7th ed.) Citation

Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2018). Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM transactions on programming languages and systems, 40(2), 1-45. https://doi.org/10.1145/3174800

Chicago Style (17th ed.) Citation

Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. "Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs." ACM Transactions on Programming Languages and Systems 40, no. 2 (2018): 1-45. https://doi.org/10.1145/3174800.

MLA (9th ed.) Citation

Chatterjee, Krishnendu, et al. "Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs." ACM Transactions on Programming Languages and Systems, vol. 40, no. 2, 2018, pp. 1-45, https://doi.org/10.1145/3174800.