Publications

Publications for Christian Dehnert

2018
Download
[bibtex]
Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2018.
Show all