Formal Verification of Probabilistic Systems (1997)

by L de Alfaro