%0 Thesis %1 phd/dnb/Jansen15 %A Jansen, Nils %D 2015 %K %T Counterexamples in probabilistic verification.

@phdthesis{phd/dnb/Jansen15, added-at = {2023-12-13T02:36:56.000+0100}, author = {Jansen, Nils}, biburl = {https://www.bibsonomy.org/bibtex/2a3963eba5a01c4930838d5759b9311e1/admin}, ee = {http://d-nb.info/1129176738}, interhash = {81730536cc1fb1266adc5a07f4056576}, intrahash = {a3963eba5a01c4930838d5759b9311e1}, keywords = {}, school = {RWTH Aachen University, Germany}, timestamp = {2023-12-13T02:36:56.000+0100}, title = {Counterexamples in probabilistic verification.}, year = 2015 }