S.: Uniformity by construction in the analysis of nondeterministic stochastic systems (2007)

by H Hermanns, Johr
Venue:In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN