发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C++ Programs

MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C++ Programs

Cao, Huaxiong; Gu, Naijie; Du, Yunkai
  • 期刊名称Arabian Journal for Science and Engineering
  • 作者Cao, Huaxiong; Gu, Naijie; Du, Yunkai
  • 卷第41卷
  • 期第12期
  • 印刷ISSN1319-8025
  • 电子ISSN2191-4281
  • 文件大小2664.76KB
  • 发表时间2016-12
  • DOI10.1007/s13369-016-2205-4
  • 页码5149-5167
← 返回【学霸图书馆】主页