APA-Zitierstil (7. Ausg.)

BOZZANO, M., DELZANNO, G., & MARTELLI, M. (2004). Model checking linear logic specifications. Theory and practice of logic programming, 4(5-6), 573-619. https://doi.org/10.1017/S1471068404002066

Chicago-Zitierstil (17. Ausg.)

BOZZANO, MARCO, GIORGIO DELZANNO, und MAURIZIO MARTELLI. "Model Checking Linear Logic Specifications." Theory and Practice of Logic Programming 4, no. 5-6 (2004): 573-619. https://doi.org/10.1017/S1471068404002066.

MLA-Zitierstil (9. Ausg.)

BOZZANO, MARCO, et al. "Model Checking Linear Logic Specifications." Theory and Practice of Logic Programming, vol. 4, no. 5-6, 2004, pp. 573-619, https://doi.org/10.1017/S1471068404002066.