@inproceedings{991995,
 address = {New York, NY, USA},
 author = {Nikola Beneš and Barbora Bühnová and Ivana Černá and Radek Ošlejšek},
 booktitle = {Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)},
 doi = {http://dx.doi.org/10.1145/2304736.2304752},
 howpublished = {tištěná verze "print"},
 isbn = {978-1-4503-1345-2},
 keywords = {Reliability; component-based systems; probabilistic model checking; Markov decision processes (MDP)},
 language = {eng},
 location = {New York, NY, USA},
 pages = {83-92},
 publisher = {ACM},
 title = {Reliability analysis in component-based development via probabilistic model checking},
 year = {2012}
}