Zhang, J., Long, S., & Wang, K. (2013). The safety and liveness properties of the network protocol based on TLA. 2013 IET International Conference on Information and Communications Technologies : April 27-29, 2013, Beijing, China, 218-222. https://doi.org/10.1049/cp.2013.0055
Chicago Style (17th ed.) CitationZhang, Junming, Shigong Long, and Kouwu Wang. "The Safety and Liveness Properties of the Network Protocol Based on TLA." 2013 IET International Conference on Information and Communications Technologies : April 27-29, 2013, Beijing, China 2013: 218-222. https://doi.org/10.1049/cp.2013.0055.
MLA (9th ed.) CitationZhang, Junming, et al. "The Safety and Liveness Properties of the Network Protocol Based on TLA." 2013 IET International Conference on Information and Communications Technologies : April 27-29, 2013, Beijing, China, 2013, pp. 218-222, https://doi.org/10.1049/cp.2013.0055.