@InProceedings{KSW04a,
author={M. Kuntz and M. Siegle and E. Werner},
title={Symbolic Performance and Dependability Evaluation with the Tool {CASPA}},
booktitle={Proc. 1st European Performance Engineering Workshop (EPEW'04), FORTE'04 workshop},
year={2004},

editor={},
pages={293--307},
organization={},
publisher={Springer},
series={LNCS},
volume={3236},
address={},
month={},
note={},
key={}
}