Dagstuhl Seminar Proceedings 10051
Quantitative and Qualitative Analysis of Network Protocols
B. Jonsson, J. Kreiker, M. Kwiatkowska (Eds.)
published by LZI
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