Merkliste 
 1 Ergebnisse 
 
1

Multi-objective Optimization of Long-run Average and Total ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Quatmann, Tim ; Katoen, Joost-Pieter - p. 230-249 , 2021