Probabilistic model checking in practice: case studies with PRISM

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)16-21
Number of pages6
JournalACM SIGMETRICS Performance Evaluation Review
Volume32
Issue number4
Publication statusPublished - 1 Mar 2005