Formal Verification of a Grid Resource Allocation Protocol.

Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz

Browse the full CCGRID paper archive.