 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [2]
|
Hilfe 
|
 |
|
| Suche: Author="Kl{\"u}ppelholz, Sascha" |
|
Energy-utility analysis for resilient systems using probabilistic model checking
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)
Lecture Notes in Computer Science
8489
, 2014, pp. 20-39
| Editors | Gianfranco Ciardo, Ekkart Kindler | |
| Publisher: | Springer International Publishing | |
| Address: | Switzerland | |
| URL: |
http://dx.doi.org/10.1007/978-3-319-07734-5_2 | |
|
|
|
|