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-referens (17:e uppl.)Hu, Jian, Tun Li, och 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-referens (9:e uppl.)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.
