%0 Conference Paper %1 conf/qest/BaierDKKR17 %A Baier, Christel %A Dubslaff, Clemens %A Korenciak, Lubos %A Kucera, Antonín %A Rehák, Vojtech %B QEST %D 2017 %E Bertrand, Nathalie %E Bortolussi, Luca %I Springer %K dblp %P 190-206 %T Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. %U http://dblp.uni-trier.de/db/conf/qest/qest2017.html#BaierDKKR17 %V 10503 %@ 978-3-319-66335-7

@inproceedings{conf/qest/BaierDKKR17, added-at = {2019-08-30T00:00:00.000+0200}, author = {Baier, Christel and Dubslaff, Clemens and Korenciak, Lubos and Kucera, Antonín and Rehák, Vojtech}, biburl = {https://www.bibsonomy.org/bibtex/2e24268c3ea0497c34e67621f0aeef806/dblp}, booktitle = {QEST}, crossref = {conf/qest/2017}, editor = {Bertrand, Nathalie and Bortolussi, Luca}, ee = {https://doi.org/10.1007/978-3-319-66335-7_12}, interhash = {150cefc350c5eb72e71debd3869d8b93}, intrahash = {e24268c3ea0497c34e67621f0aeef806}, isbn = {978-3-319-66335-7}, keywords = {dblp}, pages = {190-206}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:11:50.000+0200}, title = {Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2017.html#BaierDKKR17}, volume = 10503, year = 2017 }