www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[Ma08] Zhongdan Ma. Modelling with PRISM of Intelligent System. Masters thesis, University of Oxford. 2008. [pdf] [bib]
Downloads:  pdf pdf (1.41 MB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

Publications