Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
Automatic Verification of Mobile IPv6 Using Uppaal
HANG Dongmei,MA Huadong,GAO Dayong
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM . 2005, (4): 45 -49 .  DOI: 10.13190/jbupt.200504.45.zhangdm

Copyright © 2018 Journal of Beijing University of Posts and Telecommunications 京ICP备14033833号

Adress: BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS    Post Code: 100876    Tel: (010)62281995    QQ: 307514248    weibo    Message    E-mail: byxb@bupt.edu.cn