Alpuente, M., del Mar Gallardo, M., Pimentel, E., & Villanueva, A. (2005). A semantic framework for the abstract model checking of tccp programs. Theoretical computer science, 346(1), 58-95. https://doi.org/10.1016/j.tcs.2005.08.009
Citace podle Chicago (17th ed.)Alpuente, María, María del Mar Gallardo, Ernesto Pimentel, a Alicia Villanueva. "A Semantic Framework for the Abstract Model Checking of Tccp Programs." Theoretical Computer Science 346, no. 1 (2005): 58-95. https://doi.org/10.1016/j.tcs.2005.08.009.
Citace podle MLA (9th ed.)Alpuente, María, et al. "A Semantic Framework for the Abstract Model Checking of Tccp Programs." Theoretical Computer Science, vol. 346, no. 1, 2005, pp. 58-95, https://doi.org/10.1016/j.tcs.2005.08.009.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..