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]

Authors

Jinkui Xie

This author has not been identified. Look up 'Jinkui Xie' in Google

Linpeng Huang

This author has not been identified. Look up 'Linpeng Huang' in Google