PRISM 4.0: Verification of probabilistic real-time systems

M. Kwiatkowska, G. Norman, D. Parker

Research output: Book/ReportBook

1377 Citations (Scopus)
Original languageUndefined/Unknown
DOIs
Publication statusPublished - 2011

Cite this