On Quantitative Software Verification

[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 (53 KB) $bib$ bib

Notes: The original publication is available at www.springerlink.com.

Links: [Google] [Google Scholar] [CiteSeer]

Publications