Publications of Andrej Podzimek

BibTeX

 @inproceedings{bulej_capturing_2012,
    title = {{Capturing Performance Assumptions Using Stochastic Performance Logic}},
    author = {Bulej, Lubomí r and Bureš, Tomáš and Keznikl, Jaroslav and Koubková, Alena and Podzimek, Andrej and Tůma, Petr},
    year = {2012},
    booktitle = {{Proc. 3rd ACM/SPEC International Conference on Performance Engineering (ICPE)}},
    publisher = {ACM},
    series = {{ICPE '12}},
    location = {New York, NY, USA},
    doi = {10.1145/2188286.2188345},
    isbn = {978-1-4503-1202-8},
    pages = {311--322},
    url = {http://doi.acm.org/10.1145/2188286.2188345},
}