Lazy Slicing for State-Space Exploration
发布时间：2024-02-28
点击次数：
- 发表刊物：
- 计算机科学技术学报(英文版)
- 卷号：
- 4
- 页面范围：
- 872-890
- ISSN号：
- 1000-9000
- 是否译文：
- 否
- 发表时间：
- 2012
黄少滨 教授
黑龙江省系统仿真学会理事长；黑龙江省计算机学会理事；中国审计学会计算机审计分会副会长；中国计算机学会高级会员；中国系统工程学会会员；中国审计信息化标准化技术委员会（SAC/TC341）委员；教育部长江学者通讯评审专家；国家科技奖评审专家等。 【More】