TY  - BOOK
AU  - Dam, Mads., ed
TI  - Analysis and Verification of Multiple-Agent Languages
T2  - Lecture notes in computer science
U1  - 004 
CY  - Berlin
PB  - Springer
ER  -