Frances M. T. Brazier Frank Cornelissen Rune Gustavsson Catholijn M. Jonker Olle Lindeberg Bianca Polak Jan Treur Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. 95-117 2004 20 Appl. Intell. 2 http://dx.doi.org/10.1023/B:APIN.0000013334.33853.0c db/journals/apin/apin20.html#BrazierCGJLPT04