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


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

info visites 3885781