Efficient deadlock detection for concurrent systems.

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled

Browse the full MEMOCODE paper archive.