@INPROCEEDINGS{,
author = {J. Katoen and L. Cloth and M. Khattri and R. Pulungan},
booktitle = {2005 International Conference on Dependable Systems and Networks (DSN'05)(DSN)},
title = {Model Checking Markov Reward Models with Impulse Rewards},
year = {2005},
volume = {00},
number = {},
pages = {722-731},
keywords={null},
doi = {10.1109/DSN.2005.64},
url = {doi.ieeecomputersociety.org/10.1109/DSN.2005.64},
ISSN = {},
month={06}
}