|
[CKKP05]
L. Cloth, J.-P. Katoen, M. Khattri and R. Pulungan.
Model checking Markov reward models with impulse rewards.
In Proc. International Conference on Dependable Systems and Networks (DSN'05), pages 722-731, IEEE CS Press.
June 2005.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|