%0 Conference Paper %1 conf/qest/BrazdilKKNR15 %A Brázdil, Tomás %A Korenciak, Lubos %A Krcál, Jan %A Novotný, Petr %A Rehák, Vojtech %B QEST %D 2015 %E Campos, Javier %E Haverkort, Boudewijn R. %I Springer %K dblp %P 141-159 %T Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. %U http://dblp.uni-trier.de/db/conf/qest/qest2015.html#BrazdilKKNR15 %V 9259 %@ 978-3-319-22264-6

@inproceedings{conf/qest/BrazdilKKNR15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Brázdil, Tomás and Korenciak, Lubos and Krcál, Jan and Novotný, Petr and Rehák, Vojtech}, biburl = {https://www.bibsonomy.org/bibtex/2619cfecccddf077a42a5bb996f4b0add/dblp}, booktitle = {QEST}, crossref = {conf/qest/2015}, editor = {Campos, Javier and Haverkort, Boudewijn R.}, ee = {https://doi.org/10.1007/978-3-319-22264-6_10}, interhash = {f339c654d6121990a453f7d13a5de2ea}, intrahash = {619cfecccddf077a42a5bb996f4b0add}, isbn = {978-3-319-22264-6}, keywords = {dblp}, pages = {141-159}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:22:32.000+0200}, title = {Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2015.html#BrazdilKKNR15}, volume = 9259, year = 2015 }