计算机工程与应用2008，Vol.44Issue(27)：46-48,64,4.
基于吴方法的符号模型检验
Symbolic model checking based on Wu's method
摘要
关键词
符号模型检验/吴方法/特征列分类
信息技术与安全科学引用本文复制引用
曾琼,黄健,魏乐..基于吴方法的符号模型检验[J].计算机工程与应用,2008,44(27):46-48,64,4.基金项目
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318003) （973）
成都信息工程学院科研基金资助(No.CBF200623). （No.CBF200623）
