@inproceedings{DBLP:conf/performance/BaierHHK02,
author = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost-Pieter Katoen},
title = {Automated Performance and Dependability Evaluation Using
Model Checking},
booktitle = {Performance},
year = {2002},
pages = {261-289},
ee = {http://dx.doi.org/10.1007/3-540-45798-4_12},
crossref = {DBLP:conf/performance/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/performance/2002,
editor = {Mariacarla Calzarossa and
Salvatore Tucci},
title = {Performance Evaluation of Complex Systems: Techniques and
Tools, Performance 2002, Tutorial Lectures},
booktitle = {Performance},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2459},
year = {2002},
isbn = {3-540-44252-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}