Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2

Research output: Book/ReportCommissioned report

Authors

Colleges, School and Institutes

Bibliographic note

School of Computer Science

Details

Original languageEnglish
PublisherUniversity of Birmingham
Publication statusPublished - 1 Mar 2007