| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Third European Workshop on Multi-agent Systems |
| Pages | 248-259 |
| Number of pages | 12 |
| Publication status | Published - 2005 |
Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems
N. Osman, D. Robertson, C. Walton
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution