@InProceedings{BGK+09,
author={T. Berczes and G. Guta and G. Kusper and W. Schreiner and J. Sztrik},
title={Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM},
booktitle={Proc. 5th International Workshop on Automated Specification and Verification of Web Systems (WWV'09)},
year={2009},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}