Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
The Construction of Changeable Intruder Model in Model Checking
杨元原,马文平,刘维博
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM . 2011, (2): 54 -57 .  DOI: 10.13190/jbupt.201102.54.yangyy

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