License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-16329
URL: http://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:
Document 1.pdf (77 KB)


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
Seminar: 08332 - Distributed Verification and Grid Computing
Issue Date: 2008
Date of publication: 30.10.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI