Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science, Springer, 2005. [doi]

Abstract

Abstract is missing.