APA (7th ed.) Citation

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.) Citation

Zhang, 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.) Citation

Zhang, 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.