计算机技术与发展2008，Vol.18Issue(11)：163-167,171,6.
程序切片技术在并发程序模型检查中的应用
Application of Program Slicing Technology to Concurrent Programming Model Checking
高鹏飞 1沈云付1
作者信息
- 1. 上海大学,计算机工程与科学学院,上海,200072
- 折叠
摘要
关键词
并发程序/模型检查/程序切片/状态空间/切片准则分类
信息技术与安全科学引用本文复制引用
高鹏飞,沈云付..程序切片技术在并发程序模型检查中的应用[J].计算机技术与发展,2008,18(11):163-167,171,6.
