Capability Analysis and Integrated Application of Deadlock Detection Tools
PAN Minxue+, LI Qian, LI Xuandong
Journal of Frontiers of Computer Science and Technology . 2010, (2): 153 -164 .  DOI: 10.3778/j.issn.1673-9418.2010.02.007