Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz. Formal Verification of a Grid Resource Allocation Protocol. In 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France. pages 332-339, IEEE Computer Society, 2008. [doi]
Abstract is missing.