%0 Journal Article
%T 协议验证与一致性测试方法
%A 蒙移发 徐惠民 高强？
%J 计算机科学
%D 2002
%K 通信网通信协议网络协议验证一致性测试计算机网络
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=7768260&flag=1