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]
Download:  pdf pdf (53 KB)  bib bib

Note: The original publication is available at www.springerlink.com
Links: [Google] [Google Scholar] [CiteSeer]

>  Home

>  People

>  Projects

>  Publications


Useful links: