@article{Baier_2005,
    doi = {10.1016/j.tcs.2005.07.022},
    url = {https://doi.org/10.1016%2Fj.tcs.2005.07.022},
    year = {2005},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {345},
    number = {1},
    pages = {2--26},
    author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Boudewijn R. Haverkort},
    title = {Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes},
    journal = {Theoretical Computer Science}
}

@article{Baier_2005, doi = {10.1016/j.tcs.2005.07.022}, url = {https://doi.org/10.1016%2Fj.tcs.2005.07.022}, year = {2005}, month = {nov}, publisher = {Elsevier {BV}}, volume = {345}, number = {1}, pages = {2--26}, author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Boudewijn R. Haverkort}, title = {Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes}, journal = {Theoretical Computer Science} }