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


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

08332 Abstracts Collection -- Distributed Verification and Grid Computing

pdf-format:
Document 1.pdf (169 KB)


Abstract

From 08/10/2008 to 08/14/2008 the Dagstuhl Seminar 08332 ``Distributed Verification and Grid Computing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

BibTeX - Entry

@InProceedings{bal_et_al:DSP:2008:1633,
  author =	{Henri E. Bal and Lubos Brim and Martin Leucker},
  title =	{08332 Abstracts Collection -- 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/1633},
  annote =	{Keywords: Parallel Model Checking, Grid Computing, Verification}
}

Keywords: Parallel Model Checking, Grid Computing, Verification
Seminar: 08332 - Distributed Verification and Grid Computing
Issue Date: 2008
Date of publication: 30.10.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI