FALASCHI, M., & VILLANUEVA, A. (2006). Automatic verification of timed concurrent constraint programs. Theory and practice of logic programming, 6(3), 265-300. https://doi.org/10.1017/S1471068406002675
Citace podle Chicago (17th ed.)FALASCHI, MORENO, a ALICIA VILLANUEVA. "Automatic Verification of Timed Concurrent Constraint Programs." Theory and Practice of Logic Programming 6, no. 3 (2006): 265-300. https://doi.org/10.1017/S1471068406002675.
Citace podle MLA (9th ed.)FALASCHI, MORENO, a ALICIA VILLANUEVA. "Automatic Verification of Timed Concurrent Constraint Programs." Theory and Practice of Logic Programming, vol. 6, no. 3, 2006, pp. 265-300, https://doi.org/10.1017/S1471068406002675.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..