[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems
Bensalem, Saddek, Griesmayer, Andreas, Legay, Axel, Nguyen, Thanh-Hung, Peled, DoronYear:
2011
Language:
english
DOI:
10.1109/memcod.2011.5970518
File:
PDF, 755 KB
english, 2011