APA (7th ed.) Citation

Groce, A., Peled, D., & Yannakakis, M. (2006). Adaptive Model Checking. Logic Journal of the IGPL, 14(5), 729. https://doi.org/10.1093/jigpal/jzl007

Chicago Style (17th ed.) Citation

Groce, Alex, Doron Peled, and Mihalis Yannakakis. "Adaptive Model Checking." Logic Journal of the IGPL 14, no. 5 (2006): 729. https://doi.org/10.1093/jigpal/jzl007.

MLA (9th ed.) Citation

Groce, Alex, et al. "Adaptive Model Checking." Logic Journal of the IGPL, vol. 14, no. 5, 2006, p. 729, https://doi.org/10.1093/jigpal/jzl007.