A Verification Framework for Agent Communication

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",

}