近期论文 查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认) 1.一种面向非干扰的线程程序逻辑.李沁,曾庆凯,袁志祥.《软件学报》vol.25(6),2014.6:1143—1153.一类顶级 2.Samplingautomataandprograms.QinLi,ZheDang.TheoreticalComputerScience,vol557:125-140.SCI二区