Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

F.M. Brazier, F.J. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Agent-based Defeasible Control in Dynamic Environments
Editors	D. Gabbay, Ph. Smets
Publisher	Kluwer Academic Publishers
Pages	455-476
Publication status	Published - 2002

Software-Agents-Book

Persistent URL (handle)

@inbook{4d2e879415c147dbb000844f8bc0ba35,

title = "Compositional Verification of a Multi-Agent System for One-to-Many Negotiation",

author = "F.M. Brazier and F.J. Cornelissen and R. Gustavsson and C.M. Jonker and O. Lindeberg and B. Polak and J. Treur",

note = "Software-Agents-Book ",

year = "2002",

language = "English",

pages = "455--476",

editor = "D. Gabbay and Ph. Smets",

booktitle = "Agent-based Defeasible Control in Dynamic Environments",

publisher = "Kluwer Academic Publishers",

}

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. / Brazier, F.M.; Cornelissen, F.J.; Gustavsson, R. et al.
Agent-based Defeasible Control in Dynamic Environments. ed. / D. Gabbay; Ph. Smets. Kluwer Academic Publishers, 2002. p. 455-476.

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

AU - Brazier, F.M.

AU - Cornelissen, F.J.

AU - Gustavsson, R.

AU - Jonker, C.M.

AU - Lindeberg, O.

AU - Polak, B.

AU - Treur, J.

N1 - Software-Agents-Book

PY - 2002

Y1 - 2002

M3 - Chapter

SP - 455

EP - 476

BT - Agent-based Defeasible Control in Dynamic Environments

A2 - Gabbay, D.

A2 - Smets, Ph.

PB - Kluwer Academic Publishers

ER -