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 journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	185-219
Number of pages	35
Journal	Autonomous Agents and Multi-Agent Systems
Volume	6
Issue number	2
Publication status	Published - 2003

Cite this

@article{8cb095eeb2f3440c89e1c36530c4653d,

title = "A Verification Framework for Agent Communication",

author = "{van Eijk}, R.M. and {de Boer}, F.S. and {van der Hoek}, W. and J-J.Ch. Meyer",

year = "2003",

language = "Undefined/Unknown",

volume = "6",

pages = "185--219",

journal = "Autonomous Agents and Multi-Agent Systems",

issn = "1387-2532",

publisher = "Springer Netherlands",

number = "2",

}