Locks: Picking key methods for a scalable quantitative analysis.

Christel Baier Marcus Daum Benjamin Engel Hermann Härtig Joachim Klein Sascha Klüppelholz Steffen Märcker Hendrik Tews Marcus Völp

Published in: J. Comput. Syst. Sci. (2015)

Keyphrases