A Verification Framework for Agent Communication

R.M. van Eijk, F.S. de Boer, W. van der Hoek, J-J.Ch. Meyer

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)185-219
Number of pages35
JournalAutonomous Agents and Multi-Agent Systems
Volume6
Issue number2
Publication statusPublished - 2003

Cite this