%0 Journal Article %1 journals/mscs/BaierHHHK13 %A Baier, Christel %A Hahn, Ernst Moritz %A Haverkort, Boudewijn R. %A Hermanns, Holger %A Katoen, Joost-Pieter %D 2013 %J Math. Struct. Comput. Sci. %K %N 4 %P 751-795 %T Model checking for performability. %U http://dblp.uni-trier.de/db/journals/mscs/mscs23.html#BaierHHHK13 %V 23

@article{journals/mscs/BaierHHHK13, added-at = {2023-12-13T06:24:30.000+0100}, author = {Baier, Christel and Hahn, Ernst Moritz and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/20ba344999578c4df58ed468b3f741a0f/admin}, ee = {https://www.wikidata.org/entity/Q57800990}, interhash = {ad52b4412c8fb7a7013d5ff605994bd0}, intrahash = {0ba344999578c4df58ed468b3f741a0f}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 4, pages = {751-795}, timestamp = {2023-12-13T06:24:30.000+0100}, title = {Model checking for performability.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs23.html#BaierHHHK13}, volume = 23, year = 2013 }