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.1
URN: urn:nbn:de:0030-drops-16335
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1633/
|
Go to the corresponding Portal |
Bal, Henri E. ;
Brim, Lubos ;
Leucker, Martin
08332 Abstracts Collection -- Distributed Verification and Grid Computing
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:DagSemProc.08332.1,
author = {Bal, Henri E. and Brim, Lubos and Leucker, Martin},
title = {{08332 Abstracts Collection – Distributed Verification and Grid Computing}},
booktitle = {Distributed Verification and Grid Computing},
pages = {1--10},
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/1633},
URN = {urn:nbn:de:0030-drops-16335},
doi = {10.4230/DagSemProc.08332.1},
annote = {Keywords: Parallel Model Checking, Grid Computing, Verification}
}
|
Keywords: |
|
Parallel Model Checking, Grid Computing, Verification |
|
Collection: |
|
08332 - Distributed Verification and Grid Computing |
|
Issue Date: |
|
2008 |
|
Date of publication: |
|
30.10.2008 |
