Huo Yan Chen. Analysis of potential deadlock in Java multithreaded object-oriented programs. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 146-150, IEEE, 2005. [doi]
Abstract is missing.