Dagstuhl Seminar Proceedings: Quantitative and Qualitative Analysis of Network Protocols 2010

a service of Schloss Dagstuhl - Leibniz Center for Informatics