PRISM: Probabilistic symbolic model checker

@book{8a95b93e7aa54181aeee32747c919e62,

title = "PRISM: Probabilistic symbolic model checker",

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

year = "2002",

language = "English",

}

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 - http://www.scopus.com/inward/record.url?eid=2-s2.0-84863981780&partnerID=MN8TOARS

M3 - Book

BT - PRISM: Probabilistic symbolic model checker

ER -

Original language	English
Publication status	Published - 2002

Cite this