TY - CONF
TI - Model Checking Markov Reward Models with Impulse Rewards
T2 - 2005 International Conference on Dependable Systems and Networks (DSN'05)(DSN)
SP - 722
EP - 731
AU - J. Katoen
AU - L. Cloth
AU - M. Khattri
AU - R. Pulungan
PY - 2005
KW - null
DO - 10.1109/DSN.2005.64
JO - 2005 International Conference on Dependable Systems and Networks (DSN'05)(DSN)
SN - 0-7695-2282-3
VO - 10.1109/DSN.2005.64
VL - 00
JA - 2005 International Conference on Dependable Systems and Networks (DSN'05)(DSN)
Y1 - June 2005
ER -