@inbook{e536d9f18a044178a93714619460be98,
title = "Automated performance and dependability evaluation using model checking",
keywords = "METIS-208720",
author = "C Baier and Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",
year = "2002",
language = "English",
isbn = "3-540-44252-9",
pages = "--",
editor = "Mariacarla Calzarossa and Salvatore Tucci",
booktitle = "Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures",
publisher = "Springer",
address = "Germany",
}