Publications

Filters: Author is Linda Leuschner [Clear All Filters]

2014

C. Baier, C. Dubslaff, S. Klüppelholz, and L. Leuschner, “Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking”, in Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), 2014.