PRISM 2.0: A tool for probabilistic model checking

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages322-323
Number of pages2
Publication statusPublished - 1 Jan 2004
Event1st International Conference on Quantative Evaluation of Systems -
Duration: 1 Jan 2004 → …

Conference

Conference1st International Conference on Quantative Evaluation of Systems
Period1/01/04 → …