Release Time:2019-03-12 Hits:
Indexed by: Journal Article
Date of Publication: 2014-01-01
Journal: 东北大学学报(自然科学版)
Included Journals: ISTIC、PKU
Volume: 35
Issue: S1
Page Number: 135-139
Prev One:一种定理证明与模型检测融合的软件验证加速方法
Next One:一种基于FPGA的高性能多模式匹配算法