LU Fa-Ming
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaZHENG Jia-Jing
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaBAO Yun-Xia
College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, ChinaZENG Qing-Tian
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaDUAN Hua
College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, ChinaWANG Xiao-Yu
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaNational Natural Science Foundation of China (61602279, 61472229); National Key Research and Development Plan (2016YFC0801406); Taishan Scholars Program of Shandong Province (ts20190936); Excellent Youth Innovation Team Foundation of Shandong Higher School (2019KJN024); Smart Computing Joint Fund of Shandong Provincial Natural Science Foundation (ZL2019LZh001); Postdoctoral Innovation Foundation of Shandong Province (201603056); Open Foundation of First Institute of Oceanography, MNR (2018002); Shandong University of Science and Technology Research Fund (2015TDJH102)
鲁法明,郑佳静,包云霞,曾庆田,段华,王晓宇.基于锁增广分段图的多线程程序死锁检测.软件学报,2021,32(6):1682-1700
Copy