APA (7th ed.) Citation

Zhao, J., & Zhao, R. (2018). K-DT: A formal system for the evaluation of linear data dependence testing techniques. Journal of Supercomputing, 74(4), 1655. https://doi.org/10.1007/s11227-017-2187-3

Chicago Style (17th ed.) Citation

Zhao, Jie, and Rongcai Zhao. "K-DT: A Formal System for the Evaluation of Linear Data Dependence Testing Techniques." Journal of Supercomputing 74, no. 4 (2018): 1655. https://doi.org/10.1007/s11227-017-2187-3.

MLA (9th ed.) Citation

Zhao, Jie, and Rongcai Zhao. "K-DT: A Formal System for the Evaluation of Linear Data Dependence Testing Techniques." Journal of Supercomputing, vol. 74, no. 4, 2018, p. 1655, https://doi.org/10.1007/s11227-017-2187-3.