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

Gethin Norman, C Palamidessi, David Parker, P Wu

Research output: Book/ReportCommissioned report

Original languageEnglish
PublisherUniversity of Birmingham
Publication statusPublished - 1 Mar 2007

Cite this