Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[EKM96]
A. El-Rayes, M. Kwiatkowska and S. Minton.
Analysing Performance of Lift Systems in PEPA.
In
Proc. UK Performance Engineering Workshop
, pages 83-100. Department of Computer Science, The University of Edinburgh.
1996.
[
ps.gz
] [
bib
]
Downloads:
ps.gz
(106 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications