Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp. Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci., 81(1):258-287, 2015. [doi]
Abstract is missing.