Li, Y., Yin, X., Wang, Z., Yao, J., Shi, X., Wu, J., . . . Wang, Q. (2019). A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Communications surveys and tutorials, 21(1), 940-969. https://doi.org/10.1109/COMST.2018.2868050
Citácia podle Chicago (17th ed.)Li, Yahui, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, a Qing Wang. "A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges." IEEE Communications Surveys and Tutorials 21, no. 1 (2019): 940-969. https://doi.org/10.1109/COMST.2018.2868050.
Citácia podľa MLA (8th ed.)Li, Yahui, et al. "A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges." IEEE Communications Surveys and Tutorials, vol. 21, no. 1, 2019, pp. 940-969, https://doi.org/10.1109/COMST.2018.2868050.