Jaax, Stefan
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
2020
Dissertation
134 Seiten

Mehdi, Gulnar
Semantically defined Analytics for Industrial Equipment Diagnostics
2020
Dissertation
166 Seiten