Computer Science Technical Reports 2001: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

Research output: Working paper

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2001