Hai Wan, Gu Ming, Xiaoyu Song. Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Mathematical and Computer Modelling, 50(7-8):1090-1099, 2009. [doi]
@article{WanMS09,
title = {Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections},
author = {Hai Wan and Gu Ming and Xiaoyu Song},
year = {2009},
doi = {10.1016/j.mcm.2009.06.001},
url = {http://dx.doi.org/10.1016/j.mcm.2009.06.001},
tags = {modeling, protocol, analysis},
researchr = {https://researchr.org/publication/WanMS09},
cites = {0},
citedby = {0},
journal = {Mathematical and Computer Modelling},
volume = {50},
number = {7-8},
pages = {1090-1099},
}