%0 Journal Article %1 journals/sigmetrics/BaierHHK05 %A Baier, Christel %A Haverkort, Boudewijn R. %A Hermanns, Holger %A Katoen, Joost-Pieter %D 2005 %J SIGMETRICS Perform. Evaluation Rev. %K %N 4 %P 10-15 %T Model checking meets performance evaluation. %U http://dblp.uni-trier.de/db/journals/sigmetrics/sigmetrics32.html#BaierHHK05 %V 32

@article{journals/sigmetrics/BaierHHK05, added-at = {2023-12-14T15:51:58.000+0100}, author = {Baier, Christel and Haverkort, Boudewijn R. and Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/203d91398338eb0ee96d721487e727354/admin}, ee = {https://doi.org/10.1145/1059816.1059819}, interhash = {f07c871fd1b2d1ef302b51c17d61d129}, intrahash = {03d91398338eb0ee96d721487e727354}, journal = {SIGMETRICS Perform. Evaluation Rev.}, keywords = {}, number = 4, pages = {10-15}, timestamp = {2023-12-14T15:51:58.000+0100}, title = {Model checking meets performance evaluation.}, url = {http://dblp.uni-trier.de/db/journals/sigmetrics/sigmetrics32.html#BaierHHK05}, volume = 32, year = 2005 }