Evaluating Deadlock Detection Methods for Concurrent Software (1996)

by James C. Corbett
Venue:IEEE Transactions on Software Engineering