Probabilistic Model Checking and Reliability of Results.

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker

Browse the full DDECS paper archive.