TY  - GEN
AU  - Bérczes, Tamás
AU  - Guta, Gábor
AU  - Kusper, Gábor
AU  - Schreiner, Wolfgang
AU  - Sztrik, János
TI  - Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM
PY  - 2008
UR  - https://m2.mtmt.hu/api/publication/1863695
ID  - 1863695
LA  - English
DB  - MTMT
ER  -