Slicing concurrent programs for model checking

被引：0

作者：

Dong, Wei ^{[1
]}

Wang, Ji ^{[1
]}

Qi, Zhi-Chang ^{[1
]}

机构：

[1] Sch. of Comp. Sci., Natl. Univ. of Defense Technol., Changsha 410073, China

来源：

Jisuanji Xuebao/Chinese Journal of Computers | 2003年 / 26卷 / 03期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：266 / 274