Probabilistic Model Checking for Energy-Utility Analysis
| Title | Probabilistic Model Checking for Energy-Utility Analysis |
| Publication Type | Book Chapter |
| Year of Publication | 2014 |
| Authors | Baier, C, Dubslaff, C, Klein, J, Klüppelholz, S, Wunderlich, S |
| Book Title | Horizons of the Mind. A Tribute to Prakash Panangaden |
| Series Title | Lecture Notes in Computer Science |
| Volume | 8464 |
| Pagination | 96–123 |
| Publisher | Springer |
Work Package:
WP1
