null

发表论文

论文标题    基于形式验证的HDLC协议验证
作者    张凡、王小力
发表/完成日期    2017-11-30
期刊名称    中国新通信 (EI)
期卷    2017 (第19期）
相关文章   
论文简介    基于形式验证的HDLC协议验证中国新通信1673-48662017 (第19期)pp.22-26重要期刊EI/MI:第二作者，通讯作者
返回