You are about to access our book library "Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... (Lecture Notes in Computer Science, 6154) full version" .