易秋萍

 博士生导师  硕士生导师
学位:博士学位
性别:女
毕业院校:中国科学院软件研究所
学历:研究生毕业
在职信息:在职
所在单位:计算机学院(国家示范性软件学院)
电子邮箱:

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Concurrency Verification with Maximal Path Causality

发布时间:2021-11-29 点击次数:

发表刊物:In Proceeding of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE)
论文类型:论文集
学科门类:工学
一级学科:计算机科学与技术*
是否译文:
发表时间:2018-12-06