"Object-Based Dynamic Protocol Recovery for Multi-Threading Programs."

Bernhard Scholz, Rainer Koschke (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics