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]
@inproceedings{DArgenioJJL01,
title = {Reachability Analysis of Probabilistic Systems by Successive Refinements},
author = {Pedro R. D Argenio and Bertrand Jeannet and Henrik Ejersbo Jensen and Kim Guldstrand Larsen},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2165/21650039.htm},
tags = {refinement, analysis},
researchr = {https://researchr.org/publication/DArgenioJJL01},
cites = {0},
citedby = {0},
pages = {39-56},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings},
editor = {Luca de Alfaro and Stephen Gilmore},
volume = {2165},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42556-X},
}