@article{DIS99h,
title = {A Deadlock Detection Tool for Concurrent Java Programs },
author = {Demartini, Claudio and Iosif, Radu and Sisto, Riccardo},
year = {1999},
journal = {Softw., Pract. Exper.},
number = {7},
pages = {577-603},
volume = {29},
team = {DCS,PACSS},
}
