%0 Journal Article
%T 基于非确定有限状态机模型的测试用例选择
%A 郑学军 王春森？
%J 计算机科学
%D 1996
%K 通信协议有限状态机模型测试
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2242481&flag=1