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
Chicago-Zitierstil (17. Ausg.)Ma, Qian, Zhenhua Duan, und 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.
MLA-Zitierstil (9. Ausg.)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.