Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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]

Conference: Dagstuhl2010

Abstract is missing.

10051 Executive Summary - Quantitative and Qualitative Analysis of Network ProtocolsBengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska. [doi]

10051 Abstracts Collection - Quantitative and Qualitative Analysis of Network ProtocolsBengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska. [doi]

Spotlight Abstraction of Agents and AreasTobe Toben, Bernd Westphal, Jan-Hendrik Rakow. [doi]

runs on WebDSL