|
[BGK+09]
T. Berczes, G. Guta, G. Kusper, W. Schreiner and J. Sztrik.
Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM.
In Proc. 5th International Workshop on Automated Specification and Verification of Web Systems (WWV'09).
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|