PRISM 4.0: Verification of probabilistic real-time systems

Research output: Book/ReportBook

Colleges, School and Institutes

Details

Original languageUndefined/Unknown
Publication statusPublished - 2011