Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
Formal Semantics for SDL-2000
WANG Ying, AI Bo
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM . 2001, (4): 58 -61 . 

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