Model Checking Markov Reward Models with Impulse Rewards - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model Checking Markov Reward Models with Impulse Rewards. In 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings. pages 722-731, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Lucia Cloth' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Maneesh Khattri' in GoogleThis author has not been identified. Look up 'Reza Pulungan' in Google

runs on WebDSL