The probabilistic model checker Storm : symbolic methods for probabilistic model checking

Aachen / RWTH Aachen University, Department of Computer Science (2018, 2019) [Buch, Doktorarbeit]

Seite(n): 1 Online-Ressource (vii, 331 Seiten) : Illustrationen

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Hensel, Hans Christian

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-231803