PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016. The 16 revised full papers presented together with two invited papers, 9 short papers and three extended...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Baldoni, Matteo (Editor), Chopra, Amit K. (Editor), Son, Tran Cao (Editor), Hirayama, Katsutoshi (Editor), Torroni, Paolo (Editor) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Series: | Lecture Notes in Computer Science,
9862 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings /
Published: (2017) -
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Published: (2012) -
Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
Published: (2016) -
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Published: (2016) -
Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
Published: (2015)