Rui Zhou 0005, Chanjuan Li, Rong Min, Qi Yu, Fei Gu, Qingguo Zhou, Jason C. Hung, Kuan-Ching Li, Xuan Wang. On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications. The Journal of Supercomputing, 69(3):1254-1283, 2014. [doi]
@article{0005LMYGZHLW14,
title = {On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications},
author = {Rui Zhou 0005 and Chanjuan Li and Rong Min and Qi Yu and Fei Gu and Qingguo Zhou and Jason C. Hung and Kuan-Ching Li and Xuan Wang},
year = {2014},
doi = {10.1007/s11227-014-1157-2},
url = {http://dx.doi.org/10.1007/s11227-014-1157-2},
researchr = {https://researchr.org/publication/0005LMYGZHLW14},
cites = {0},
citedby = {0},
journal = {The Journal of Supercomputing},
volume = {69},
number = {3},
pages = {1254-1283},
}