bibtex

@inproceedings{BGL+1b,
    title = {Efficient deadlock detection for concurrent systems },
    author = {Bensalem, Saddek and Griesmayer, Andreas and Legay, Axel and Nguyen, Thanh-Hung and Peled, Doron},
    year = {2011},
    booktitle = {9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011},
    pages = {119-129},
    publisher = {IEEE},
    team = {DCS, RSD},
}


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

info visites 4121942