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