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

by T Berczes, G Guta, G Kusper, W Schreiner, J Sztrik
Venue:PRISM”, Proc. 5th Int. Workshop on Automated Specification and Verification of Web Systems (WWV