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

Research output: Book/ReportCommissioned report

Standard

Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2. / Norman, Gethin; Palamidessi, C; Parker, David; Wu, P.

University of Birmingham, 2007.

Research output: Book/ReportCommissioned report

Harvard

APA

Vancouver

Author

Bibtex

@book{0dddc12860ae45fc9072659980bf45b9,
title = "Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2",
author = "Gethin Norman and C Palamidessi and David Parker and P Wu",
note = "School of Computer Science",
year = "2007",
month = mar,
day = "1",
language = "English",
publisher = "University of Birmingham",
address = "United Kingdom",

}

RIS

TY - BOOK

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

AU - Norman, Gethin

AU - Palamidessi, C

AU - Parker, David

AU - Wu, P

N1 - School of Computer Science

PY - 2007/3/1

Y1 - 2007/3/1

M3 - Commissioned report

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

PB - University of Birmingham

ER -