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
Citace podle Chicago (17th ed.)Zhang, Junming, Shigong Long, a 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.
Citace podle MLA (9th ed.)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.