%0 Conference Paper %1 conf/setta/HatefiBWFHB15 %A Hatefi, Hassan %A Braitling, Bettina %A Wimmer, Ralf %A Fioriti, Luis María Ferrer %A Hermanns, Holger %A Becker, Bernd %B SETTA %D 2015 %E Li, Xuandong %E Liu, Zhiming %E Yi, Wang %I Springer %K %P 19-34 %T Cost vs. Time in Stochastic Games and Markov Automata. %U http://dblp.uni-trier.de/db/conf/setta/setta2015.html#HatefiBWFHB15 %V 9409 %@ 978-3-319-25941-3

@inproceedings{conf/setta/HatefiBWFHB15, added-at = {2023-12-12T20:51:29.000+0100}, author = {Hatefi, Hassan and Braitling, Bettina and Wimmer, Ralf and Fioriti, Luis María Ferrer and Hermanns, Holger and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/255522ca09bddfac94331973b3e3c2a3c/admin}, booktitle = {SETTA}, crossref = {conf/setta/2015}, editor = {Li, Xuandong and Liu, Zhiming and Yi, Wang}, ee = {https://doi.org/10.1007/978-3-319-25942-0_2}, interhash = {3565b5f74107a9644de544ba52f18c0b}, intrahash = {55522ca09bddfac94331973b3e3c2a3c}, isbn = {978-3-319-25941-3}, keywords = {}, pages = {19-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:51:29.000+0100}, title = {Cost vs. Time in Stochastic Games and Markov Automata.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2015.html#HatefiBWFHB15}, volume = 9409, year = 2015 }