Original language | English |
---|---|
Publisher | University of Birmingham |
Publication status | Published - 1 Mar 2007 |
Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2
Gethin Norman, C Palamidessi, David Parker, P Wu
Research output: Book/Report › Commissioned report