APA-Zitierstil (7. Ausg.)

Alpuente, M., del Mar Gallardo, M., Pimentel, E., & Villanueva, A. (2005). Abstract Model Checking of tccp programs. Electronic notes in theoretical computer science, 112, 19-36. https://doi.org/10.1016/j.entcs.2004.01.024

Chicago-Zitierstil (17. Ausg.)

Alpuente, María, María del Mar Gallardo, Ernesto Pimentel, und Alicia Villanueva. "Abstract Model Checking of Tccp Programs." Electronic Notes in Theoretical Computer Science 112 (2005): 19-36. https://doi.org/10.1016/j.entcs.2004.01.024.

MLA-Zitierstil (9. Ausg.)

Alpuente, María, et al. "Abstract Model Checking of Tccp Programs." Electronic Notes in Theoretical Computer Science, vol. 112, 2005, pp. 19-36, https://doi.org/10.1016/j.entcs.2004.01.024.