%0 Journal Article %1 journals/scp/HatefiH15 %A Hatefi, Hassan %A Hermanns, Holger %D 2015 %J Sci. Comput. Program. %K dblp %P 58-74 %T Improving time bounded reachability computations in interactive Markov chains. %U http://dblp.uni-trier.de/db/journals/scp/scp112.html#HatefiH15 %V 112

@article{journals/scp/HatefiH15, added-at = {2016-01-13T00:00:00.000+0100}, author = {Hatefi, Hassan and Hermanns, Holger}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fcdc4d76ac413c866d603f845103d080/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2015.05.003}, interhash = {7045ff62211607134472828bf69ad562}, intrahash = {fcdc4d76ac413c866d603f845103d080}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {58-74}, timestamp = {2016-02-02T02:39:20.000+0100}, title = {Improving time bounded reachability computations in interactive Markov chains.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp112.html#HatefiH15}, volume = 112, year = 2015 }