Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

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]

Authors

Hai Wan

This author has not been identified. Look up 'Hai Wan' in Google

Gu Ming

This author has not been identified. Look up 'Gu Ming' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google