Lazy slicing for state-space exploration. Journal of Computer Science and Technology
发布时间：2024-10-11
点击次数：
- 备注：
- Huang, S., Huang, H., Chen, Z., Lv, T., & Zhang, T. (2012)
- 是否译文：
- 否
- 发表时间：
- 2012
黄少滨 教授
黑龙江省系统仿真学会理事长；黑龙江省计算机学会理事；中国审计学会计算机审计分会副会长；中国计算机学会高级会员；中国系统工程学会会员；中国审计信息化标准化技术委员会（SAC/TC341）委员；教育部长江学者通讯评审专家；国家科技奖评审专家等。 【More】