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-Zitierstil (17. Ausg.)Zhang, Junming, Shigong Long, und 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-Zitierstil (9. Ausg.)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.