@article{ABF+10,
title = {Detection of deadlock potentials in multithreaded programs },
author = {Agarwal, Rahul and Bensalem, Saddek and Farchi, Eitan and Havelund, Klaus and Nir-Buchbinder, Yarden and Stoller, Scott D. and Ur, Shmuel and Wang, Liqiang},
year = {2010},
journal = {IBM Journal of Research and Development},
number = {5},
pages = {3},
volume = {54},
team = {DCS, RSD},
}