Release Time:2019-03-13 Hits:
Indexed by: Journal Article
Date of Publication: 2015-01-01
Journal: 计算机工程与科学
Included Journals: ISTIC、PKU
Volume: 37
Issue: 3
Page Number: 434-439
Prev One:基于时间STM的软件形式化建模与验证方法?
Next One:MRI Image Segmentation Based on a GPU Shortest Path Algorithm