Dagstuhl Seminar Proceedings, Volume 10031,

• Christel Baier, Manfred Droste, Paul Gastin, and Kim Guldstrand Larsen 10031 Abstracts Collection – Quantitative Models: Expressiveness and Analysis 10.4230/DagSemProc.10031.1
• Christel Baier, Manfred Droste, Paul Gastin, and Kim Guldstrand Larsen 10031 Executive Summary – Quantitative Models: Expressiveness and Analysis 10.4230/DagSemProc.10031.2