Jaehwan John Lee Vincent John Mooney III An <i>o</i>(<i>min</i>(<i>m</i>, <i>n</i>)) parallel deadlock detection algorithm. 573-586 2005 10 ACM Trans. Design Autom. Electr. Syst. 3 http://doi.acm.org/10.1145/1080334.1080341 db/journals/todaes/todaes10.html#LeeM05