APA (7th ed.) Citation

McIver, A., Rabehaja, T., & Struth, G. (2016). Probabilistic rely-guarantee calculus. Theoretical Computer Science, 655, 120. https://doi.org/10.1016/j.tcs.2016.01.016

Chicago Style (17th ed.) Citation

McIver, Annabelle, Tahiry Rabehaja, and Georg Struth. "Probabilistic Rely-guarantee Calculus." Theoretical Computer Science 655 (2016): 120. https://doi.org/10.1016/j.tcs.2016.01.016.

MLA (9th ed.) Citation

McIver, Annabelle, et al. "Probabilistic Rely-guarantee Calculus." Theoretical Computer Science, vol. 655, 2016, p. 120, https://doi.org/10.1016/j.tcs.2016.01.016.