by Nils Jansen
Reference:
Counterexamples in Probabilistic Verification (Nils Jansen), PhD thesis, RWTH Aachen University, 2015.
Bibtex Entry:
@phdthesis{jansen2015counterexamples,
title={Counterexamples in Probabilistic Verification},
author={Jansen, Nils},
year={2015},
school={RWTH Aachen University}
}