%0 Journal Article %1 journals/tcs/BaierHKH05 %A Baier, Christel %A Hermanns, Holger %A Katoen, Joost-Pieter %A Haverkort, Boudewijn R. %D 2005 %J Theor. Comput. Sci. %K %N 1 %P 2-26 %T Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. %U http://dblp.uni-trier.de/db/journals/tcs/tcs345.html#BaierHKH05 %V 345

@article{journals/tcs/BaierHKH05, added-at = {2023-12-12T19:58:33.000+0100}, author = {Baier, Christel and Hermanns, Holger and Katoen, Joost-Pieter and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/25ccde80712471834d502a255b0fe5b0a/admin}, ee = {https://www.wikidata.org/entity/Q57801899}, interhash = {28b050138d3cada64e92c0ecb7c41751}, intrahash = {5ccde80712471834d502a255b0fe5b0a}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {2-26}, timestamp = {2023-12-12T19:58:33.000+0100}, title = {Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs345.html#BaierHKH05}, volume = 345, year = 2005 }