@inproceedings{RSS08,
author={M. Riedl and J. Schuster and M. Siegle},
title={Recent Extensions to the Stochastic Process Algebra Tool {CASPA}},
booktitle={Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08)},
year={2008},

editor={},
pages={113-114},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
month={},
note={},
key={}
}