TY  - BOOK
AU  - cIver, Annabelle
AU  - Morgan , Carroll
TI  - Abstraction, Refinement and Proof for Probabilistic Systems
T2  - Lecture Notes in Compuer Science
U1  - 519.2 
CY  - Berlin
PB  - Springer
ER  -