Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Qes07]
J. Hillston, M. Harchol-Balter, M. Kwiatkowska and M. Telek (editors),
Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07).
IEEE CS Press.
September
2007.
[
bib
]
Downloads:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications