Probabilistic symbolic model checking with PRISM: A hybrid approach

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages52-66
Number of pages15
Publication statusPublished - 1 Jan 2002
Event8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), Apr 08-12, 2002. GRENOBLE, France -
Duration: 1 Jan 2002 → …

Conference

Conference8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), Apr 08-12, 2002. GRENOBLE, France
Period1/01/02 → …