jump to main-menu
jump to main content
Anmelden
Hilfe
Quicksearch:
Publizieren
Besondere Sammlungen
Suche
Browsing nach
Besondere Sammlungen
Klassifikation (DDC)
Document types
Autoren / Beteiligte
Neuzugänge
Clouds
Autoren / Beteiligte
Jahre
Universität
→
Bibliothek
→
Digitale Sammlungen
Authors / Collaborators
1
Entries for
Kleine Büning, Hans
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Platzner, Marco
1
Entries for
Simon, Jens
1
Entries for
Travkin, Oleg
1
Entries for
Wehrheim, Heike
Your Search
jump to filter-options
Search for:
Author / Collaborator = Platzner, Marco
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
