Oxford logo
[Kwi09] M. Kwiatkowska. On Quantitative Software Verification. In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 2-3, Springer. Invited contribution. June 2009. [pdf] [bib]
Downloads:  pdf pdf (53 KB)  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications