| |
| 2008 | ||
|---|---|---|
| 3 | EE | Lacramioara Astefanoaei, Frank S. de Boer: Model-checking agent refinement. AAMAS (2) 2008: 705-712 |
| 2 | EE | Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick Tinnermeier: Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53 |
| 1 | EE | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65 |
| 1 | Farhad Arbab | [2] |
| 2 | Frank S. de Boer | [1] [2] [3] |
| 3 | Mehdi Dastani | [1] [2] |
| 4 | John-Jules Ch. Meyer | [1] [2] |
| 5 | Nick Tinnermeier | [2] |