![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Compositionality for Markov Reward Chains with Fast Transitions."
@article{DBLP:journals/pe/MarkovskiSTV09, author = {Jasen Markovski and Ana Sokolova and Nikola Trcka and Erik P. de Vink}, title = {Compositionality for Markov reward chains with fast and silent transitions}, journal = {Perform. Evaluation}, volume = {66}, number = {8}, pages = {435--452}, year = {2009}, url = {https://doi.org/10.1016/j.peva.2009.01.001}, doi = {10.1016/J.PEVA.2009.01.001}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pe/MarkovskiSTV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/MarkovskiSTV07, author = {Jasen Markovski and Ana Sokolova and Nikola Trcka and Erik P. de Vink}, editor = {Katinka Wolter}, title = {Compositionality for Markov Reward Chains with Fast Transitions}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {18--32}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_3}, doi = {10.1007/978-3-540-75211-0\_3}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/epew/MarkovskiSTV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.