Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM (2009)

by Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Venue:PROCEEDINGS OF WWV 2009