论文名称:Concurrency Verification with Maximal Path Causality 发表刊物: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 发表时间:2018-12-06