Effective State Exploration for Model Checking on a Shared Memory Architecture
Effective State Exploration for Model Checking on a Shared Memory Architecture
复制标题
共享内存架构上模型检查的有效状态探索
DOI：
10.1016/s1571-0661(05)80395-0
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
H. Barringer
中科院分区：
文献类型：
--
作者：
Cornelia P. Inggs;H. Barringer
