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
Citace podle Chicago (17th ed.)BOZZANO, MARCO, GIORGIO DELZANNO, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..