APA (7th ed.) Citation

CHATTERJEE, K., HENZINGER, T. A., JOBSTMANN, B., & SINGH, R. (2015). Measuring and Synthesizing Systems in Probabilistic Environments. Journal of the ACM, 62(1), 1. https://doi.org/10.1145/2699430

Chicago Style (17th ed.) Citation

CHATTERJEE, KRISHNENDU, THOMAS A. HENZINGER, BARBARA JOBSTMANN, and ROHIT SINGH. "Measuring and Synthesizing Systems in Probabilistic Environments." Journal of the ACM 62, no. 1 (2015): 1. https://doi.org/10.1145/2699430.

MLA (9th ed.) Citation

CHATTERJEE, KRISHNENDU, et al. "Measuring and Synthesizing Systems in Probabilistic Environments." Journal of the ACM, vol. 62, no. 1, 2015, p. 1, https://doi.org/10.1145/2699430.