Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
Effective static deadlock detection
ICSE, 2009.
@inproceedings{ICSE-2009-NaikPSG, author = "Mayur Naik and Chang-Seo Park and Koushik Sen and David Gay", booktitle = "{Proceedings of the 31st International Conference on Software Engineering}", doi = "10.1109/ICSE.2009.5070538", isbn = "978-1-4244-3452-7", pages = "386--396", publisher = "{IEEE}", title = "{Effective static deadlock detection}", year = 2009, }