1 Treffer für Personen = "Ngonga Ngomo, Axel-Cyrille" und Sammlung = Sammlungen der UB Paderborn4
zu den Filteroptionen1 Treffer für Personen = "Ngonga Ngomo, Axel-Cyrille" und Sammlung = Sammlungen der UB Paderborn
4
Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017