Specification and Verification of Multi-agent Systems

Format:

e-book

Title:

Specification and Verification of Multi-agent Systems

Author:

Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules; Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Charles; Meyer, John-Jules

Language:

English

Publisher:

Springer US 2010

ISBN:

1-4419-6983-7
1-4899-9088-7
1-4419-6984-5

Permalink:

http://bibtest.howest.be/catalog/ebk03:2550000000015626?locale=en