Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.

Frank S. de Boer, Immo Grabe

Browse the full SOFSEM paper archive.