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 proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationAgent-based Defeasible Control in Dynamic Environments
EditorsD. Gabbay, Ph. Smets
PublisherKluwer Academic Publishers
Pages455-476
Publication statusPublished - 2002

Bibliographical note

Software-Agents-Book

Cite this

Brazier, F. M., Cornelissen, F. J., Gustavsson, R., Jonker, C. M., Lindeberg, O., Polak, B., & Treur, J. (2002). Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. In D. Gabbay, & P. Smets (Eds.), Agent-based Defeasible Control in Dynamic Environments (pp. 455-476). Kluwer Academic Publishers.
Brazier, F.M. ; Cornelissen, F.J. ; Gustavsson, R. ; Jonker, C.M. ; Lindeberg, O. ; Polak, B. ; Treur, J. / Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. Agent-based Defeasible Control in Dynamic Environments. editor / D. Gabbay ; Ph. Smets. Kluwer Academic Publishers, 2002. pp. 455-476
@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",

}

Brazier, FM, Cornelissen, FJ, Gustavsson, R, Jonker, CM, Lindeberg, O, Polak, B & Treur, J 2002, Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. in D Gabbay & P Smets (eds), Agent-based Defeasible Control in Dynamic Environments. Kluwer Academic Publishers, pp. 455-476.

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. / Brazier, F.M.; Cornelissen, F.J.; Gustavsson, R.; Jonker, C.M.; Lindeberg, O.; Polak, B.; Treur, J.

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 proceedingChapterAcademicpeer-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 -

Brazier FM, Cornelissen FJ, Gustavsson R, Jonker CM, Lindeberg O, Polak B et al. Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. In Gabbay D, Smets P, editors, Agent-based Defeasible Control in Dynamic Environments. Kluwer Academic Publishers. 2002. p. 455-476