default search action
Dagstuhl Seminar Proceedings: Quantitative and Qualitative Analysis of Network Protocols 2010
- Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska:
Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010. Dagstuhl Seminar Proceedings 10051, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 - Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska:
10051 Abstracts Collection - 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. - Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow:
Spotlight Abstraction of Agents and Areas.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.