TY  - BOOK
AU  - Dam, Mads (Eds.)
TI  - Analysis and verification of multiple-agent languages; Lecture notes in computer science : Papers
SN  - 0003540625038
U1  - 005.1 
PB  - Springer: Tokyo
KW  - programming
ER  -