PRISM: Probabilistic symbolic model checker

M. Kwiatkowska, G. Norman, D. Parker

Research output: Book/ReportBook

Original languageUndefined/Unknown
Publication statusPublished - 2002

Cite this