Auflistung nach Autor "Gerlach, Daniel"
Anzeige der Dokumente 1-2 von 2
-
RaceVis: Ein Werkzeug zur Visualisierung von Data Races
Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun
-
Static Analysis of Predicate-based Synchronisation
Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen