License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-25165
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2516/
|
Go to the corresponding Portal |
Jonsson, Bengt ;
Kreiker, Jörg ;
Kwiatkowska, Marta
10051 Executive Summary -- Quantitative and Qualitative Analysis of Network Protocols
Abstract
This is the executive summary for the seminar Quantitative and Qualitative Analysis of Network Protocols held from Jan 31, 2010 to Feb 5, 2010.
BibTeX - Entry
@InProceedings{jonsson_et_al:DSP:2010:2516,
author = {Bengt Jonsson and J{\"o}rg Kreiker and Marta Kwiatkowska},
title = {10051 Executive Summary -- Quantitative and Qualitative Analysis of Network Protocols},
booktitle = {Quantitative and Qualitative Analysis of Network Protocols},
year = {2010},
editor = {Bengt Jonsson and J{\"o}rg Kreiker and Marta Kwiatkowska},
number = {10051},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2516},
annote = {Keywords: Executive summary}
}
|
Keywords: |
|
Executive summary |
|
Seminar: |
|
10051 - Quantitative and Qualitative Analysis of Network Protocols |
|
Issue Date: |
|
2010 |
|
Date of publication: |
|
13.04.2010 |