黄莹,E-mail:ds00hy@163.com;包云霞,E-mail:baoyunxia98@163.com
TP302
国家自然科学基金(61602279); 山东省泰山学者工程专项基金(ts20190936); 山东省高等学校青创科技支持计划(2019KJN024); 山东省博士后创新专项基金 (201603056); 国家海洋局海洋遥测工程技术研究中心开放基金(2018002); 山东科技大学教学名师培育计划(MS20211102)
鲁法明,黄莹,曾庆田,包云霞,唐梦凡.基于Petri网展开的多线程程序数据竞争检测与重演.软件学报,,():1-19
复制