@inproceedings{BFH+06,
title = {Confirmation of Deadlock Potentials Detected by Runtime Analysis },
author = {Bensalem, Saddek and Fernandez, Jean-Claude and Havelund, Klaus and Mounier, Laurent},
month = {July},
year = {2006},
booktitle = {Parallel and Distributed Systems: Testing and Debugging 2006 (PADTAD'06)},
address = {Seattle, (USA)},
team = {DCS,PACSS},
}