7

Formal Verification of the 5G Inter-Operator Signaling Protocol
Hans Christian Rudolph
Vergleich paralleler Datenverarbeitung in Haskell und C++ anhand eines MapReduce-Szenarios
Hans Christian Rudolph