id: 05922368
dt: j
an: 05922368
au: Agarwal, Rahul; Bensalem, Saddek; Farchi, Eitan; Havelund, Klaus;
    Nir-Buchbinder, Yarden; Stoller, Scott D.; Ur, Shmuel; Wang, Liqiang
ti: Detection of deadlock potentials in multithreaded programs.
so: IBM J. Res. Dev. 54, No. 5, 3 (2010).
py: 2010
pu: IBM TJ Watson Research Center, Yorktown Heights, NY
la: EN
cc: 
ut: 
ci: 
li: doi:10.1147/JRD.2010.2060276