%0 Journal Article %1 journals/tse/BaierHHK03 %A Baier, Christel %A Haverkort, Boudewijn R. %A Hermanns, Holger %A Katoen, Joost-Pieter %D 2003 %J IEEE Trans. Software Eng. %K %N 6 %P 524-541 %T Model-Checking Algorithms for Continuous-Time Markov Chains. %U http://dblp.uni-trier.de/db/journals/tse/tse29.html#BaierHHK03 %V 29

@article{journals/tse/BaierHHK03, added-at = {2023-12-13T09:55:00.000+0100}, author = {Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/28ed1815d871edfbc320030b2f1496e73/admin}, ee = {https://www.wikidata.org/entity/Q57801994}, interhash = {d2dee964b678ae41655d6d5e0bdc523f}, intrahash = {8ed1815d871edfbc320030b2f1496e73}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 6, pages = {524-541}, timestamp = {2023-12-13T09:55:00.000+0100}, title = {Model-Checking Algorithms for Continuous-Time Markov Chains.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse29.html#BaierHHK03}, volume = 29, year = 2003 }