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
Publication statusPublished - 2002

Bibliographical note


Cite this