APA (7th ed.) Citation

Hu, J., Li, T., & Li, S. (2015). Equivalence checking between SLM and TLM using coverage directed simulation. Frontiers of Computer Science: Selected Publications from Chinese Universities, 9(6), 934-943. https://doi.org/10.1007/s11704-015-4257-0

Chicago Style (17th ed.) Citation

Hu, Jian, Tun Li, and Sikun Li. "Equivalence Checking Between SLM and TLM Using Coverage Directed Simulation." Frontiers of Computer Science: Selected Publications from Chinese Universities 9, no. 6 (2015): 934-943. https://doi.org/10.1007/s11704-015-4257-0.

MLA (9th ed.) Citation

Hu, Jian, et al. "Equivalence Checking Between SLM and TLM Using Coverage Directed Simulation." Frontiers of Computer Science: Selected Publications from Chinese Universities, vol. 9, no. 6, 2015, pp. 934-943, https://doi.org/10.1007/s11704-015-4257-0.