Analyzing a proxy cache server performance model with the probablistic model checker PRISM

Authors T. Bérczes
Gábor Guta
G. Kusper
W. Schreiner
J. Sztrik
Editors D. Ballis
T. Kutsia
Title Analyzing a proxy cache server performance model with the probablistic model checker PRISM
Booktitle Proceedings of 5th International Workshop on Automated Specification and
Type in proceedings
Department IDM
Month July
Year 2009
Pages 37-51
SCCH ID# 926