@InProceedings{HHK00,
author={B. Haverkort and H. Hermanns and J.-P. Katoen},
title={On the Use of Model Checking Techniques for Dependability Evaluation},
booktitle={Proc. 19th IEEE Symposium on Reliable Distributed Systems (SRDS'00)},
year={2000},

editor={},
pages={228--237},
organization={},
publisher={},
address={Erlangen, Germany},
month={October},
note={},
key={}
}