Publications
Wednesday, November 9th, 2005Papers Mathias Dalheimer, Franz-Josef Pfreund and Peter Merz: Formal Veriļ¬cation of a Grid Resource Allocation Protocol. In: Thierry Priol, Laurent Lefevre, and Rajkumar Buyya: Proceedings of the Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), Lyon 2008. (extended version) Tiberiu Rotaru, Mathias Dalheimer and Franz-Josef Pfreundt: Service-oriented Middleware ...