APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Li, Yahui, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, and 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.

MLA (9th ed.) Citation

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.