BibTeX Export for Dagstuhl Seminar Proceedings, Volume 10051

Copy to Clipboard Download

@InProceedings{jonsson_et_al:DagSemProc.10051.1,
  author =	{Jonsson, Bengt and Kreiker, J\"{o}rg and Kwiatkowska, Marta},
  title =	{{10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols}},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10051},
  editor =	{Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.1},
  URN =		{urn:nbn:de:0030-drops-25186},
  doi =		{10.4230/DagSemProc.10051.1},
  annote =	{Keywords: Network protocols, verification, static analysis, quantitative modeling and model checking, graph transformation, process calculi}
}
@InProceedings{jonsson_et_al:DagSemProc.10051.2,
  author =	{Jonsson, Bengt and Kreiker, J\"{o}rg and Kwiatkowska, Marta},
  title =	{{10051 Executive Summary – Quantitative and Qualitative Analysis of Network Protocols}},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10051},
  editor =	{Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.2},
  URN =		{urn:nbn:de:0030-drops-25165},
  doi =		{10.4230/DagSemProc.10051.2},
  annote =	{Keywords: Executive summary}
}
@InProceedings{toben_et_al:DagSemProc.10051.3,
  author =	{Toben, Tobe and Westphal, Bernd and Rakow, Jan-Hendrik},
  title =	{{Spotlight Abstraction of Agents and Areas}},
  booktitle =	{Quantitative and Qualitative Analysis of Network Protocols},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10051},
  editor =	{Bengt Jonsson and J\"{o}rg Kreiker and Marta Kwiatkowska},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10051.3},
  URN =		{urn:nbn:de:0030-drops-25173},
  doi =		{10.4230/DagSemProc.10051.3},
  annote =	{Keywords: Spotlight Abstraction, Verification, Dynamic Communication Systems}
}

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode