%0 Journal Article %1 journals/apin/BrazierCGJLPT04 %A Brazier, Frances M. T. %A Cornelissen, Frank %A Gustavsson, Rune %A Jonker, Catholijn M. %A Lindeberg, Olle %A Polak, Bianca %A Treur, Jan %D 2004 %J Appl. Intell. %K dblp %N 2 %P 95-117 %T Compositional Verification of a Multi-Agent System for One-to-Many Negotiation. %U http://dblp.uni-trier.de/db/journals/apin/apin20.html#BrazierCGJLPT04 %V 20

@article{journals/apin/BrazierCGJLPT04, added-at = {2005-05-04T00:00:00.000+0200}, author = {Brazier, Frances M. T. and Cornelissen, Frank and Gustavsson, Rune and Jonker, Catholijn M. and Lindeberg, Olle and Polak, Bianca and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2125802dc1a67dffe507735f558480d6b/dblp}, date = {2005-05-04}, description = {dblp}, ee = {http://dx.doi.org/10.1023/B:APIN.0000013334.33853.0c}, interhash = {d3e98f5be7da073fe7055ff12a74c5eb}, intrahash = {125802dc1a67dffe507735f558480d6b}, journal = {Appl. Intell.}, keywords = {dblp}, number = 2, pages = {95-117}, timestamp = {2005-05-04T00:00:00.000+0200}, title = {Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.}, url = {http://dblp.uni-trier.de/db/journals/apin/apin20.html#BrazierCGJLPT04}, volume = 20, year = 2004 }