Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Bal, Henri E.; Brim, Lubos; Leucker, Martin License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-16329
URL:

; ;

08332 Executive Summary -- Distributed Verification and Grid Computing

pdf-format:


Abstract

The Dagstuhl Seminar on Distributed Verification and Grid
Computing took place from 10.08.2008 to 14.08.2008 and brought
together two groups of researchers to discuss their recent work and
recent trends related to parallel verification of large scale computer
systems on large scale grids. In total, 29 experts from 12 countries
attended the seminar.

BibTeX - Entry

@InProceedings{bal_et_al:DagSemProc.08332.2,
  author =	{Bal, Henri E. and Brim, Lubos and Leucker, Martin},
  title =	{{08332 Executive Summary – Distributed Verification and Grid Computing}},
  booktitle =	{Distributed Verification and Grid Computing},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8332},
  editor =	{Henri E. Bal and Lubos Brim and Martin Leucker},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1632},
  URN =		{urn:nbn:de:0030-drops-16329},
  doi =		{10.4230/DagSemProc.08332.2},
  annote =	{Keywords: Grid computing, verification, parallel computing, model checking}
}

Keywords: Grid computing, verification, parallel computing, model checking
Seminar: 08332 - Distributed Verification and Grid Computing
Issue date: 2008
Date of publication: 30.10.2008


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI