@techreport{MTMT:1863695,
	title = {Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM},
	url = {https://m2.mtmt.hu/api/publication/1863695},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, Wolfgang and Sztrik, János},
	unique-id = {1863695},
	year = {2008}
}