PhD thesis,

Counterexamples in probabilistic verification.

.
RWTH Aachen University, Germany, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews