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 proceedingConference contributionAcademicpeer-review

255 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98
PublisherIEEE Computer Society Press
Number of pages8
ISBN (Print)0-8186-8500-X
Publication statusPublished - 1998

Cite this