License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08332.2
URN: urn:nbn:de:0030-drops-16329
URL: http://dagstuhl.sunsite.rwth-aachen.de/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: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
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