PRISM: Probabilistic Symbolic Model Checker

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2001
EventIn Proceeding, TOOLS of Aachen 2001 International Multiconference, Technical Report 760/2001 -
Duration: 1 Jan 2001 → …

Conference

ConferenceIn Proceeding, TOOLS of Aachen 2001 International Multiconference, Technical Report 760/2001
Period1/01/01 → …