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