Distributed Verification and Grid Computing

200820082008

Keyphrases

Publications

2008

Stephen F. Siegel
Verification of MPI-based Computations. Distributed Verification and Grid Computing (2008)
Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim
Efficient Large-Scale Model Checking. Distributed Verification and Grid Computing (2008)
Jaco van de Pol
A Typical Verification Challenge for the GRID. Distributed Verification and Grid Computing (2008)
Henri E. Bal, Lubos Brim, Martin Leucker
08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing (2008)
Henri E. Bal, Lubos Brim, Martin Leucker
08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing (2008)

volume 8332, 2008

Distributed Verification and Grid Computing, 10.08. - 14.08.2008 Distributed Verification and Grid Computing 8332 (2008)