计算机网络协议形式描述与验证的应用研究期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

计算机网络协议形式描述与验证的应用研究

引用本文：	李腊元.计算机网络协议形式描述与验证的应用研究[J].计算机杂志,1993,21(1):22-28,51.

作者姓名：	李腊元

摘要：
关键词：	计算机网络协议形式描述验证
本文献已被维普等数据库收录！