Abstraction and refinement in probabilistic systems

Annabelle McIver, Carroll Morgan. Abstraction and refinement in probabilistic systems. SIGMETRICS Performance Evaluation Review, 32(4):41-47, 2005. [doi]

Abstract

Abstract is missing.