1 Hit for Persons = "Ngonga Ngomo, Axel-Cyrille" and Collection = Sammlungen der UB Paderborn3
jump to filter-options1 Hit for Persons = "Ngonga Ngomo, Axel-Cyrille" and Collection = Sammlungen der UB Paderborn
3
Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017