Compositional verification of a multi-agent system for one-to-many negotiation (Q702806)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositional verification of a multi-agent system for one-to-many negotiation |
scientific article |
Statements
Compositional verification of a multi-agent system for one-to-many negotiation (English)
0 references
19 January 2005
0 references
Compositional
0 references
verification
0 references
multi-agent system
0 references
negotiation
0 references
