Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[TW10b]
A. Trivedi and D. Wojtczak.
Timed Branching Processes.
In
Proc. of 7th International Conference on Quantitative Evaluation of SysTems (QEST'10)
, IEEE Computer Society.
2010.
[
pdf
] [
bib
]
Downloads:
pdf
(237 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications