Model checking Markov Reward Models with Impulse Rewards. (2005)

by L Cloth, J Katoen, M Khattri, R Pulungan
Venue:In: International Conference on Dependable Systems and Networks,