%0 Journal Article %1 journals/pe/FecherHPW10 %A Fecher, Harald %A Huth, Michael %A Piterman, Nir %A Wagner, Daniel %D 2010 %J Perform. Evaluation %K %N 9 %P 858-872 %T PCTL model checking of Markov chains: Truth and falsity as winning strategies in games. %U http://dblp.uni-trier.de/db/journals/pe/pe67.html#FecherHPW10 %V 67

@article{journals/pe/FecherHPW10, added-at = {2023-12-14T16:55:11.000+0100}, author = {Fecher, Harald and Huth, Michael and Piterman, Nir and Wagner, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2d0178a8ce1085d34c57697d486d363b3/admin}, ee = {https://doi.org/10.1016/j.peva.2009.07.002}, interhash = {ff04f670dfe42adf1f43bf7bc835c60e}, intrahash = {d0178a8ce1085d34c57697d486d363b3}, journal = {Perform. Evaluation}, keywords = {}, number = 9, pages = {858-872}, timestamp = {2023-12-14T16:55:11.000+0100}, title = {PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.}, url = {http://dblp.uni-trier.de/db/journals/pe/pe67.html#FecherHPW10}, volume = 67, year = 2010 }