2007
Compositionality for Markov Reward Chains with Fast Transitions
Publication
Publication
Presented at the
European Performance Engineering Workshop
Additional Metadata | |
---|---|
Springer | |
K. Wolter | |
Lecture Notes in Computer Science | |
European Performance Engineering Workshop | |
Organisation | Computer Security |
Markovski, J., Sokolova, A., Trcka, N., & de Vink, E. (2007). Compositionality for Markov Reward Chains with Fast Transitions. In K. Wolter (Ed.), Proc. EPEW 2007 (pp. 18–32). Springer. |