Numerical vs. Statistical Probabilistic Model Checking

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)216-228
Number of pages13
JournalInternational Journal on Software Tools for Technology Transfer
Volume8
Issue number3
Publication statusPublished - 1 Jun 2006