10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols

Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska. 10051 Executive Summary - Quantitative and Qualitative Analysis of Network Protocols. In Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska, editors, Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010. Volume 10051 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

Abstract

Abstract is missing.