Release Time:2019-03-12 Hits:
Indexed by: Journal Article
Date of Publication: 2012-01-01
Journal: 计算机科学
Included Journals: ISTIC、PKU
Volume: 39
Issue: 11专刊
Page Number: 31-35
Prev One:基于拓扑排序的数据竞争方向定位
Next One:基于遗传算法的嵌入式软件 WCSD 检测方法