License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-16329
URL: https://drops.dagstuhl.de/opus/volltexte/2008/1632/
Go to the corresponding Portal


Bal, Henri E. ; Brim, Lubos ; Leucker, Martin

08332 Executive Summary -- Distributed Verification and Grid Computing

pdf-format:
08332.SWM.Extabstract.1632.pdf (0.08 MB)


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:DSP:2008:1632,
  author =	{Henri E. Bal and Lubos Brim and Martin Leucker},
  title =	{08332 Executive Summary -- Distributed Verification and Grid Computing},
  booktitle =	{Distributed Verification and Grid Computing },
  year =	{2008},
  editor =	{Henri E. Bal and Lubos Brim and Martin Leucker},
  number =	{08332},
  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/2008/1632},
  annote =	{Keywords: Grid computing, verification, parallel computing, model checking}
}

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


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