References
- [DJJL01]
-
Pedro R. D'Argenio, Bertrand Jeannet, Henrik E. Jensen, and Kim G. Larsen.
Reachability analysis of probabilistic systems by successive
refinements.
In Process Algebra and Probabilistic Methods - Performance
Modelling and Verification, PAPM-PROBMIV 2001, volume 2165 of LNCS,
Aachen (Germany), September 2001.
- [DJJL02]
-
Pedro R. D'Argenio, Bertrand Jeannet, Henrik E. Jensen, and Kim G. Larsen.
Reduction and refinement strategies for probabilistic analysis.
In Process Algebra and Probabilistic Methods - Performance
Modelling and Verification, PAPM-PROBMIV 2002, volume 2399 of LNCS,
Copenhagen (Denmark), July 2002.
Bertrand Jeannet, July 18, 2006
