An Algorithm for Quantitative Veri of Probabilistic Transition Systems (2001)

by F van Breugel, J Worrell
Venue:In Proc. 12th International Conference on Concurrency Theory, volume 2154 of LNCS