TY  - BOOK
A1  - Mads Dam )ed.(
TI  - Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101380558
UR  /book/101380558/Analysis-and-verification-of-multipleagent-langua/
ER  -