Dagstuhl Seminar Proceedings, Volume 10051,

• Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska 10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols 10.4230/DagSemProc.10051.1
• Bengt Jonsson, Jörg Kreiker, and Marta Kwiatkowska 10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols 10.4230/DagSemProc.10051.2
• Tobe Toben, Bernd Westphal, and Jan-Hendrik Rakow Spotlight Abstraction of Agents and Areas 10.4230/DagSemProc.10051.3