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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.