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]
Abstract is missing.