Ma, Q., Duan, Z., & Yang, M. (2013, July). Integration of Linear Constraints with a Temporal Logic Programming Language. 2013 International Symposium on Theoretical Aspects of Software Engineering, 157-164. https://doi.org/10.1109/TASE.2013.30
Citace podle Chicago (17th ed.)Ma, Qian, Zhenhua Duan, a Mengfei Yang. "Integration of Linear Constraints with a Temporal Logic Programming Language." 2013 International Symposium on Theoretical Aspects of Software Engineering Jul. 2013: 157-164. https://doi.org/10.1109/TASE.2013.30.
Citace podle MLA (9th ed.)Ma, Qian, et al. "Integration of Linear Constraints with a Temporal Logic Programming Language." 2013 International Symposium on Theoretical Aspects of Software Engineering, Jul. 2013, pp. 157-164, https://doi.org/10.1109/TASE.2013.30.