APA (7th ed.) Citation

Bodden, E., Hendren, L., & Lam, P. (2010). Collaborative Runtime Verification with Tracematches. Journal of Logic & Computation, 20(3), 707. https://doi.org/10.1093/logcom/exn077

Chicago Style (17th ed.) Citation

Bodden, Eric, Laurie Hendren, and Patrick Lam. "Collaborative Runtime Verification with Tracematches." Journal of Logic & Computation 20, no. 3 (2010): 707. https://doi.org/10.1093/logcom/exn077.

MLA (9th ed.) Citation

Bodden, Eric, et al. "Collaborative Runtime Verification with Tracematches." Journal of Logic & Computation, vol. 20, no. 3, 2010, p. 707, https://doi.org/10.1093/logcom/exn077.