Quantitative multi-objective verification for probabilistic systems

V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, H. Qu

Research output: Book/ReportBook

Original languageEnglish
DOIs
Publication statusPublished - 2011

Cite this