APA (7th ed.) Citation

Chistikov, D., Dimitrova, R., & Majumdar, R. (2017). Approximate counting in SMT and value estimation for probabilistic programs. Acta informatica, 54(8), 729-764. https://doi.org/10.1007/s00236-017-0297-2

Chicago Style (17th ed.) Citation

Chistikov, Dmitry, Rayna Dimitrova, and Rupak Majumdar. "Approximate Counting in SMT and Value Estimation for Probabilistic Programs." Acta Informatica 54, no. 8 (2017): 729-764. https://doi.org/10.1007/s00236-017-0297-2.

MLA (9th ed.) Citation

Chistikov, Dmitry, et al. "Approximate Counting in SMT and Value Estimation for Probabilistic Programs." Acta Informatica, vol. 54, no. 8, 2017, pp. 729-764, https://doi.org/10.1007/s00236-017-0297-2.