论文部分内容阅读
基于逻辑的复合协议形式化分析方法研究
【出 处】
:
解放军信息工程大学
【发表日期】
:
2009年01期
其他文献