Specification and Verification of Position Based Routing for Mobile Ad Hoc System

Jinkui Xie, Linpeng Huang. Specification and Verification of Position Based Routing for Mobile Ad Hoc System. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 406-409, IEEE Computer Society, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.