Towards quantitative verification of probabilistic systems (2001)

by F van Breugel, J Worrel
Venue:In Proc. 28th Int. Colloq. Aut. Lang. Prog., volume 2076 of Lect. Notes in Comp. Sci