Formal verification of probabilistic systems (1997)

by L Alfaro