| Author(s) |
T. Bérczes
Gábor Guta
G. Kusper
W. Schreiner
J. Sztrik
|
| Title |
Analyzing a proxy cache server performance model with the probablistic model checker PRISM |
| Booktitle |
Proceedings of 5th International Workshop on Automated Specification and |
| Typ |
Inproceedings |
| Month |
July |
| Year |
2009 |
| Pages |
37-51 |
| Editor(s) |
D. Ballis, T. Kutsia |
| SCCH # |
0926 |