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

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

doi:10.1109/ICMAS.1998.699031

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

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

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

305 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98
Publisher	IEEE Computer Society Press
Pages	49-56
Number of pages	8
ISBN (Print)	0-8186-8500-X
DOIs	https://doi.org/10.1109/ICMAS.1998.699031
Publication status	Published - 1998

Access to Document

10.1109/ICMAS.1998.699031

85000049Final published version, 80.3 KB

Persistent URL (handle)

Persistent link

Cite this

Brazier, F. M., Cornelissen, F., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B., & Treur, J. (1998). Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. In Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98 (pp. 49-56). IEEE Computer Society Press. https://doi.org/10.1109/ICMAS.1998.699031

@inproceedings{c3056d2b4cc54d52a4ef11e2871e32b8,

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

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

year = "1998",

doi = "10.1109/ICMAS.1998.699031",

language = "English",

isbn = "0-8186-8500-X",

pages = "49--56",

booktitle = "Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98",

publisher = "IEEE Computer Society Press",

}

Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. / Brazier, F.M.; Cornelissen, F.; Gustavsson, R. et al.
Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98. IEEE Computer Society Press, 1998. p. 49-56.

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

TY - GEN

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

AU - Brazier, F.M.

AU - Cornelissen, F.

AU - Gustavsson, R.

AU - Jonker, C.M.

AU - Lindeberg, O.

AU - Polak, B.

AU - Treur, J.

PY - 1998

Y1 - 1998

UR - https://www.scopus.com/pages/publications/52649152797

UR - https://www.scopus.com/inward/citedby.url?scp=52649152797&partnerID=8YFLogxK

U2 - 10.1109/ICMAS.1998.699031

DO - 10.1109/ICMAS.1998.699031

M3 - Conference contribution

SN - 0-8186-8500-X

SP - 49

EP - 56

BT - Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98

PB - IEEE Computer Society Press

ER -

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

Access to Document

Persistent URL (handle)

Other files and links

Cite this