Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:conf/dagstuhl/Pol08
AU - Pol, Jaco van de
TI - A Typical Verification Challenge for the GRID.
BT - Distributed Verification and Grid Computing, 10.08. - 14.08.2008
PY - 2008//
UR - http://drops.dagstuhl.de/opus/volltexte/2008/1629/
ER -