| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 2012 |
Pareto curves for probabilistic model checking
V. Forejt, M. Kwiatkowska, D. Parker
Research output: Book/Report › Book
52
Citations
(Scopus)