Dagstuhl Seminar Proceedings 10051

Quantitative and Qualitative Analysis of Network Protocols

B. Jonsson, J. Kreiker, M. Kwiatkowska (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 10051, 31.01. - 05.02.2010
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Jonsson, Bengt
  • Kreiker, Jörg
  • Kwiatkowska, Marta
  • Rakow, Jan-Hendrik
  • Toben, Tobe
  • Westphal, Bernd

  •   
    10051 Abstracts Collection -- Quantitative and Qualitative Analysis of Network Protocols
    Authors: Jonsson, Bengt ; Kreiker, Jörg ; Kwiatkowska, Marta

    Abstract | Document (174 KB) | BibTeX

    10051 Executive Summary -- Quantitative and Qualitative Analysis of Network Protocols
    Authors: Jonsson, Bengt ; Kreiker, Jörg ; Kwiatkowska, Marta

    Abstract | Document (143 KB) | BibTeX

    Spotlight Abstraction of Agents and Areas
    Authors: Toben, Tobe ; Westphal, Bernd ; Rakow, Jan-Hendrik

    Abstract | Document (109 KB) | BibTeX

      




    DROPS-Home | Imprint | Privacy
    Published by LZI