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
Citace podle Chicago (17th ed.)Chistikov, Dmitry, Rayna Dimitrova, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..