Probabilistic Model Checking and Reliability of Results. - Ralf Wimmer 001; Alexander Kortus; Marc Herbstritt; Bernd Becker 001 (DDECS, 2008)

The Demand for Reliability in Probabilistic Verification. - Ralf Wimmer 001; Alexander Kortus; Marc Herbstritt; Bernd Becker 001 (MBMV, 2008)