"ConLock: a constraint-based approach to dynamic checking on deadlocks in ..."

Yan Cai, Shangru Wu, W. K. Chan (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics