Verifying non-blocking data structures with manual memory management

Dissertation, Technische Universität Carolo-Wilhelmina zu Braunschweig, 2021

Bibliographische Detailangaben

1. Verfasser:	Wolff, Sebastian (VerfasserIn)
Körperschaft:	Technische Universität Braunschweig (Grad-verleihende Institution)
Weitere Verfasser:	Meyer, Roland (AkademischeR BetreuerIn), Majumdar, Rupak (AkademischeR BetreuerIn), Enea, Constantin (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Braunschweig 2021
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!