APA (7th ed.) Citation

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 Style (17th ed.) Citation

Ma, Qian, Zhenhua Duan, and 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 (9th ed.) Citation

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.