APA-Zitierstil (7. Ausg.)

Auletta, V., De Prisco, R., Penna, P., & Persiano, G. (2009). The power of verification for one-parameter agents. Journal of computer and system sciences, 75(3), 190-211. https://doi.org/10.1016/j.jcss.2008.10.001

Chicago-Zitierstil (17. Ausg.)

Auletta, Vincenzo, Roberto De Prisco, Paolo Penna, und Giuseppe Persiano. "The Power of Verification for One-parameter Agents." Journal of Computer and System Sciences 75, no. 3 (2009): 190-211. https://doi.org/10.1016/j.jcss.2008.10.001.

MLA-Zitierstil (9. Ausg.)

Auletta, Vincenzo, et al. "The Power of Verification for One-parameter Agents." Journal of Computer and System Sciences, vol. 75, no. 3, 2009, pp. 190-211, https://doi.org/10.1016/j.jcss.2008.10.001.