| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011) |
| Editors | N Ahmed, D Quercia, CD Jensen |
| Publisher | Technical University of Denmark |
| Pages | 339–355 |
| Publication status | Published - 2011 |
| MoE publication type | D3 Professional conference proceedings |
Development of a Dependable Multi-Agent System by Refinement in Event-B
Linas Laibinis, Elena Troubitsyna, Inna Vistbakka
Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Professional