Pareto curves for probabilistic model checking

Research output: Book/ReportBook

Colleges, School and Institutes

Details

Original languageUndefined/Unknown
Publication statusPublished - 2012