@article{1205180,
    Author = {Baier, C. and Haverkort, B. and Hermanns, H. and Katoen, J.-P.},
    File = {Model-checking algorithms for continuous-time Markov chains - 13\_00 - a.pdf},
    Journal = {IEEE Transactions on Software Engineering},
    Number = {6},
    Pages = {524-541},
    Title = {Model-checking algorithms for continuous-time Markov chains},
    Volume = {29},
    Year = {2003},
    bdsk-url-1 = {https://doi.org/10.1109/TSE.2003.1205180},
    date-added = {2022-12-26 21:01:06 +0100},
    date-modified = {2022-12-26 21:01:06 +0100},
    doi = {10.1109/TSE.2003.1205180}
}

@article{1205180, Author = {Baier, C. and Haverkort, B. and Hermanns, H. and Katoen, J.-P.}, File = {Model-checking algorithms for continuous-time Markov chains - 13_00 - a.pdf}, Journal = {IEEE Transactions on Software Engineering}, Number = {6}, Pages = {524-541}, Title = {Model-checking algorithms for continuous-time Markov chains}, Volume = {29}, Year = {2003}, bdsk-url-1 = {https://doi.org/10.1109/TSE.2003.1205180}, date-added = {2022-12-26 21:01:06 +0100}, date-modified = {2022-12-26 21:01:06 +0100}, doi = {10.1109/TSE.2003.1205180} }