2026-07-21T12:18:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1632 2024-03-06T11:08:14Z ddc:004 open_access

08332 Executive Summary – Distributed Verification and Grid Computing Bal, Henri E. Brim, Lubos Leucker, Martin Grid computing verification parallel computing model checking 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Henri E. Bal and Lubos Brim and Martin Leucker 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8332, Distributed Verification and Grid Computing (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08332.2 urn:nbn:de:0030-drops-16329 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08332.2 eng https://creativecommons.org/licenses/by/4.0/legalcode