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

Aachen / RWTH Aachen University, Department of Computer Science (2018, 2019) [Book, Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (vii, 331 Seiten) : Illustrationen

Authors

Selected Authors

Hensel, Hans Christian

Identifier

  • REPORT NUMBER: RWTH-2018-231803