| Bibtype | Inproceedings |
|---|---|
| Bibkey | Lochmann/etal/2019a |
| Author | Lochmann, Alexander and Schirmeier, Horst and Borghorst, Hendrik and Spinczyk, Olaf |
| Title | {LockDoc}: Trace-Based Analysis of Locking in the Linux Kernel |
| Booktitle | Proceedings of the 14th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys '19) |
| Year | 2019 |
| Projekt | SFB876-A1 |
| Bibtex | Here you can get this literature entry as BibTeX format. |
|---|