| |
| 2004 | ||
|---|---|---|
| 1 | EE | Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78 |
| 1 | Marco Alberti | [1] |
| 2 | Marco Gavanelli | [1] |
| 3 | Evelina Lamma | [1] |
| 4 | Paola Mello | [1] |
| 5 | Paolo Torroni | [1] |