Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/tjs/0005LMYGZHLW14
%A Zhou, Rui
%A Li, Chanjuan
%A Min, Rong
%A Yu, Qi
%A Gu, Fei
%A Zhou, Qingguo
%A Hung, Jason C.
%A Li, Kuan-Ching
%A Wang, Xuan
%D 2014
%J The Journal of Supercomputing
%K dblp
%N 3
%P 1254-1283
%T On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications.
%U http://dblp.uni-trier.de/db/journals/tjs/tjs69.html#0005LMYGZHLW14
%V 69
@article{journals/tjs/0005LMYGZHLW14,
added-at = {2014-09-19T00:00:00.000+0200},
author = {Zhou, Rui and Li, Chanjuan and Min, Rong and Yu, Qi and Gu, Fei and Zhou, Qingguo and Hung, Jason C. and Li, Kuan-Ching and Wang, Xuan},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29ab3940ee8279ca8a89340e220b67655/dblp},
ee = {http://dx.doi.org/10.1007/s11227-014-1157-2},
interhash = {ea9aea9ed36ef1973c54a11174f83681},
intrahash = {9ab3940ee8279ca8a89340e220b67655},
journal = {The Journal of Supercomputing},
keywords = {dblp},
number = 3,
pages = {1254-1283},
timestamp = {2016-02-02T04:45:22.000+0100},
title = {On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications.},
url = {http://dblp.uni-trier.de/db/journals/tjs/tjs69.html#0005LMYGZHLW14},
volume = 69,
year = 2014
}