%0 Journal Article %1 journals/fac/HatefiWBFBH17 %A Hatefi, Hassan %A Wimmer, Ralf %A Braitling, Bettina %A Fioriti, Luis María Ferrer %A Becker, Bernd %A Hermanns, Holger %D 2017 %J Formal Asp. Comput. %K %N 4 %P 629-649 %T Cost vs. time in stochastic games and Markov automata. %U http://dblp.uni-trier.de/db/journals/fac/fac29.html#HatefiWBFBH17 %V 29

@article{journals/fac/HatefiWBFBH17, added-at = {2023-12-13T09:23:47.000+0100}, author = {Hatefi, Hassan and Wimmer, Ralf and Braitling, Bettina and Fioriti, Luis María Ferrer and Becker, Bernd and Hermanns, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2c6ee2f67b9fcb031de6a7ad8301b1ba9/admin}, ee = {https://doi.org/10.1007/s00165-016-0411-1}, interhash = {cdd748edebda72763c36069c3fcbcf41}, intrahash = {c6ee2f67b9fcb031de6a7ad8301b1ba9}, journal = {Formal Asp. Comput.}, keywords = {}, number = 4, pages = {629-649}, timestamp = {2023-12-13T09:23:47.000+0100}, title = {Cost vs. time in stochastic games and Markov automata.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac29.html#HatefiWBFBH17}, volume = 29, year = 2017 }