Holger Hermanns, Sven Johr. Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. In The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings. pages 718-728, IEEE Computer Society, 2007. [doi]
Abstract is missing.