Probabilistic symbolic model checking with PRISM: A hybrid approach

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)128-142
Number of pages15
JournalInternational Journal on Software Tools for Technology Transfer
Volume6
Issue number2
Publication statusPublished - 1 Jan 2004