Quantitative Analysis and Verification
Oxford University Computing Laboratory
[JT08]
M. Jurdzinski and A. Trivedi.
Average-Time Games.
In
Foundations of Software Technology and Theoretical Computer Science
. To appear.
2008.
[
bib
]
Download:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
Available from:
http://www.comlab.ox.ac.uk/people/Ashutosh.Trivedi/FSTTCS08-JT.pdf
>
Home
>
People
>
Projects
>
Publications
Useful links:
Concurrency, Verification & Security Seminars
PRISM