Automated quantitative software verification (2010)
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