TY -的盟Hilbrich Tobias盟——Protze Joachim AU -舒尔茨,马丁AU - de Supinski Bronis r . AU -穆勒,马蒂亚斯·s . PY - 2013 DA - 1900/01/01 TI - MPI与必须运行时错误检测:死锁检测SP - 314971六世- 21的进步AB - SN - 1058 - 9244你——https://doi.org/10.3233/spr - 130368 - 10.3233 / spr - 130368 JF -科学编程PB - IOS出版社KW - ER