Rui Zhou 0005, Rong Min, Qi Yu, Chanjuan Li, Yong Sheng, Qingguo Zhou, Xuan Wang, Kuan-Ching Li. Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol. In Leonard Barolli, Kin Fun Li, Tomoya Enokido, Fatos Xhafa, Makoto Takizawa, editors, 28th IEEE International Conference on Advanced Information Networking and Applications, AINA 2014, Victoria, BC, Canada, May 13-16, 2014. pages 813-820, IEEE, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.