22 Titel
Klassifikation
Schliessen
Filter
1

Time-efficient link discovery for data-driven applications
Georgala, Kleanthi ; Ngonga Ngomo, Axel-Cyrille ; Böttcher, Stefan
Elektronische Ressource, Paderborn, 2021
Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, Jens
Elektronische Ressource, Paderborn, 2017
Gehe zu Seiten

Detailsuche