Pedro R. D Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen. Reduction and Refinement Strategies for Probabilistic Analysis. In Holger Hermanns, Roberto Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings. Volume 2399 of Lecture Notes in Computer Science, pages 57-76, Springer, 2002. [doi]
Abstract is missing.