Pedro R. D Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen. Reachability Analysis of Probabilistic Systems by Successive Refinements. In Luca de Alfaro, Stephen Gilmore, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Volume 2165 of Lecture Notes in Computer Science, pages 39-56, Springer, 2001. [doi]
Abstract is missing.