TY  - BOOK
AU  - Dam,Mads
ED  - LOMAPS Workshop
TI  - Analysis and verification of multiple-agent languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers 
SN  - 3540625038
SN  - 03029743
AV  - QA76.7 L662 1996
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Programming languages (Electronic computers)
KW  - Congresses
ER  -