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