J. Katoen, L. Cloth, M. Khattri and R. Pulungan, "Model Checking Markov Reward Models with Impulse Rewards," 2005 International Conference on Dependable Systems and Networks (DSN'05)(DSN), Yokohama, Japan, 2005, pp. 722-731.
doi:10.1109/DSN.2005.64
keywords:{null},
url:doi.ieeecomputersociety.org/10.1109/DSN.2005.64