@CONFERENCE{MTMT:1498511,
	title = {Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM},
	url = {https://m2.mtmt.hu/api/publication/1498511},
	author = {Bérczes, Tamás and Guta, Gábor and Kusper, Gábor and Schreiner, Wolfgang and Sztrik, János},
	booktitle = {Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09)},
	unique-id = {1498511},
	year = {2009},
	pages = {37-52}
}