Locks: Picking key methods for a scalable quantitative analysis
Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, MarcusVolume:
81
Language:
english
Journal:
Journal of Computer and System Sciences
DOI:
10.1016/j.jcss.2014.06.004
Date:
February, 2015
File:
PDF, 1.50 MB
english, 2015