| Original language | English |
|---|---|
| Title of host publication | Proceedings of the First IEEE International Conference on Formal Engineering Methods |
| Editors | M. G. Hinchey, L. Shaoying |
| Publisher | IEEE Computer Society |
| Pages | 222-231 |
| Number of pages | 10 |
| ISBN (Print) | 9780818680021 |
| Publication status | Published - 1997 |
Development and Application of a Formal Agent Framework
M. d'Inverno, M. Luck
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
31
Citations
(Scopus)