PRISM 2.0: A tool for probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

122 Citations (Scopus)
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 → …

Cite this