"Dynamic Testing for Deadlocks via Constraints."

Yan Cai, Qiong Lu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics