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]
@inproceedings{ClothKKP05,
title = {Model Checking Markov Reward Models with Impulse Rewards},
author = {Lucia Cloth and Joost-Pieter Katoen and Maneesh Khattri and Reza Pulungan},
year = {2005},
doi = {10.1109/DSN.2005.64},
url = {http://doi.ieeecomputersociety.org/10.1109/DSN.2005.64},
tags = {model checking, meta-model, Markov, Meta-Environment},
researchr = {https://researchr.org/publication/ClothKKP05},
cites = {0},
citedby = {0},
pages = {722-731},
booktitle = {2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-2282-3},
}