%0 Journal Article %1 journals/tse/BaierCHKS07 %A Baier, Christel %A Cloth, Lucia %A Haverkort, Boudewijn R. %A Kuntz, Matthias %A Siegle, Markus %D 2007 %J IEEE Trans. Software Eng. %K %N 4 %P 209-224 %T Model Checking Markov Chains with Actions and State Labels. %U http://dblp.uni-trier.de/db/journals/tse/tse33.html#BaierCHKS07 %V 33

@article{journals/tse/BaierCHKS07, added-at = {2023-12-14T16:41:37.000+0100}, author = {Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Kuntz, Matthias and Siegle, Markus}, biburl = {https://www.bibsonomy.org/bibtex/20ea22efa75a6d532a28ffe1dca60ceec/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.36}, interhash = {fbc59d34436c6a21c17d082aa96e3b84}, intrahash = {0ea22efa75a6d532a28ffe1dca60ceec}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 4, pages = {209-224}, timestamp = {2023-12-14T16:41:37.000+0100}, title = {Model Checking Markov Chains with Actions and State Labels.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse33.html#BaierCHKS07}, volume = 33, year = 2007 }