APA (7th ed.) Citation

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 Style (17th ed.) Citation

BOZZANO, MARCO, GIORGIO DELZANNO, and 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 (9th ed.) Citation

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.