Related Books
Language: en
Pages: 415
Pages: 415
Type: BOOK - Published: 2010-07-20 - Publisher: Springer Science & Business Media
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems
Language: en
Pages: 405
Pages: 405
Type: BOOK - Published: 2010-09-16 - Publisher: Springer
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems
Language: en
Pages: 239
Pages: 239
Type: BOOK - Published: 2016-12-15 - Publisher: Springer
This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore
Language: en
Pages: 737
Pages: 737
Type: BOOK - Published: 2009-06-23 - Publisher: Springer
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/
Language: en
Pages: 684
Pages: 684
Type: BOOK - Published: 2005-10-03 - Publisher: Springer
The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular