Thomas Ostrand;Elaine Weyuker
Siemens Corporate Research;New York Univ., New York, NY
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering