![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz: Formal Verification of a Grid Resource Allocation Protocol. CCGRID 2008: 332-339 |
2005 | ||
1 | EE | Mathias Dalheimer, Franz-Josef Pfreundt, Peter Merz: Agent-Based Grid Scheduling with Calana. PPAM 2005: 741-750 |
1 | Peter Merz | [1] [2] |
2 | Franz-Josef Pfreundt | [1] [2] |