%0 Journal Article %1 journals/fmsd/BaierCHHK10 %A Baier, Christel %A Cloth, Lucia %A Haverkort, Boudewijn R. %A Hermanns, Holger %A Katoen, Joost-Pieter %D 2010 %J Formal Methods Syst. Des. %K dblp %N 1 %P 1-36 %T Performability assessment by model checking of Markov reward models. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd36.html#BaierCHHK10 %V 36

@article{journals/fmsd/BaierCHHK10, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/21bda2f1718103b5a2fae1ec731686253/dblp}, ee = {https://www.wikidata.org/entity/Q57801465}, interhash = {fbf36c024d50b384efe1bdad47ab9811}, intrahash = {1bda2f1718103b5a2fae1ec731686253}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {1-36}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Performability assessment by model checking of Markov reward models.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd36.html#BaierCHHK10}, volume = 36, year = 2010 }