Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
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.