bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190695