当前位置: X-MOL首页全球导师 国内导师 › 李沁

个人简介

出生年月 1976.11 职称 副教授 最终学位 博士 职务 网络工程系副主任

研究领域

1、软件验证            2、并发程序分析

近期论文

查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

1.一种面向非干扰的线程程序逻辑.李沁,曾庆凯,袁志祥.《软件学报》vol.25(6),2014.6:1143—1153.一类顶级 2.Samplingautomataandprograms.QinLi,ZheDang.TheoreticalComputerScience,vol557:125-140.SCI二区

推荐链接
down
wechat
bug