Verimag

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

Publication Sections


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

info visites 818435