Locks: Picking key methods for a scalable quantitative analysis
| Title | Locks: Picking key methods for a scalable quantitative analysis |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Baier, C, Daum, M, Engel, B, Härtig, H, Klein, J, Klüppelholz, S, Märcker, S, Tews, H, Völp, M |
| Journal | Journal of Computer and System Sciences |
| Volume | 81 |
| Pagination | 258–287 |
Work Package:
WP1
