Towards quantitative veri of probabilistic transition systems (2001)

by F van Breugel, J Worrell
Venue:In ICALP: 28th International Colloquium on Automata, Languages and Programming