TY  - BOOK
A1  -  Marco Montali
TI  - Specification and verification of declarative open interaction models :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 89965235
UR  /book/89965235/Specification-and-verification-of-declarative-open/
ER  -