Specification and Verification of Multi-agent Systems [E-Book] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
Saved in:
Full text |
|
Personal Name(s): | Dastani, Mehdi. |
Hindriks, Koen V. / Meyer, John-Jules Charles. | |
Imprint: |
Boston, MA :
Springer Science+Business Media, LLC,
2010.
|
Physical Description: |
online resource |
ISBN: |
9781441969842 |
Subject (LOC): |
Description not available. |