Jaco van de Pol. A Typical Verification Challenge for the GRID. In Henri E. Bal, Lubos Brim, Martin Leucker, editors, Distributed Verification and Grid Computing, 10.08. - 14.08.2008. Volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2008. [doi]
@inproceedings{Pol08-0,
title = {A Typical Verification Challenge for the GRID},
author = {Jaco van de Pol},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1629/},
researchr = {https://researchr.org/publication/Pol08-0},
cites = {0},
citedby = {0},
booktitle = {Distributed Verification and Grid Computing, 10.08. - 14.08.2008},
editor = {Henri E. Bal and Lubos Brim and Martin Leucker},
volume = {08332},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}