%0 Journal Article
%T 基于形式活动图的协议一致性测试用例生成方法研究
%A 齐建业
%A 李强
%A 余祥
%J 安徽大学学报(自然科学版)
%P 75-80
%D 2013
%U http://ahdxzkb.paperopen.com/oa/DArticle.aspx?type=view&id=201303014