PRISM: Probabilistic symbolic model checker

Kwiatkowska, M., Norman, G., & Parker, D. (2002). PRISM: Probabilistic symbolic model checker.

Kwiatkowska, M. ; Norman, G. ; Parker, D. / PRISM: Probabilistic symbolic model checker. 2002.

@book{8a95b93e7aa54181aeee32747c919e62,

title = "PRISM: Probabilistic symbolic model checker",

author = "M. Kwiatkowska and G. Norman and D. Parker",

year = "2002",

language = "English",

}

Kwiatkowska, M, Norman, G & Parker, D 2002, PRISM: Probabilistic symbolic model checker.

PRISM: Probabilistic symbolic model checker. / Kwiatkowska, M.; Norman, G.; Parker, D.
2002.

Research output: Book/Report › Book

TY - BOOK

T1 - PRISM: Probabilistic symbolic model checker

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

PY - 2002

Y1 - 2002

UR - https://www.scopus.com/pages/publications/84863981780

M3 - Book

BT - PRISM: Probabilistic symbolic model checker

ER -

Original language	English
Publication status	Published - 2002

Cite this