Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink. Compositionality for Markov Reward Chains with Fast Transitions. In Katinka Wolter, editor, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Volume 4748 of Lecture Notes in Computer Science, pages 18-32, Springer, 2007. [doi]
@inproceedings{MarkovskiSTV07,
title = {Compositionality for Markov Reward Chains with Fast Transitions},
author = {Jasen Markovski and Ana Sokolova and Nikola Trcka and Erik P. de Vink},
year = {2007},
doi = {10.1007/978-3-540-75211-0_3},
url = {http://dx.doi.org/10.1007/978-3-540-75211-0_3},
tags = {composition, Markov},
researchr = {https://researchr.org/publication/MarkovskiSTV07},
cites = {0},
citedby = {0},
pages = {18-32},
booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings},
editor = {Katinka Wolter},
volume = {4748},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75210-3},
}