Verimag

bibtex

@article{ABF+10,
    title = {Detection of deadlock potentials in multithreaded programs },
    author = {Agarwal, Rahul and Bensalem, Saddek and Farchi, Eitan and Havelund, Klaus and Nir-Buchbinder, Yarden and Stoller, Scott D. and Ur, Shmuel and Wang, Liqiang},
    year = {2010},
    journal = {IBM Journal of Research and Development},
    number = {5},
    pages = {3},
    volume = {54},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 14 ; visites : 452071