An algorithm for quantitative verification of probabilistic transition systems (2001)

by F van Breugel, J Worrel
Venue:In CONCUR 01: Concurrency Theory. 12th Int. Conf., volume 2154 of Lect. Notes in Comp. Sci