TY - CONF AU - Bérczes, Tamás AU - Guta, Gábor AU - Kusper, Gábor AU - Schreiner, Wolfgang AU - Sztrik, János TI - Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM T2 - Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09) PY - 2009 SP - 37 EP - 52 PG - 16 UR - https://m2.mtmt.hu/api/publication/1498511 ID - 1498511 LA - English DB - MTMT ER -