Automated quantitative software verification (2010)

First Author: Kattenbelt Mark Alex
Attributed to:  Automated quantitative software verification with PRISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

Type: Thesis