TY  - BOOK
A1  -  edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
TI  - Formal methods for protocol engineering and distributed systems :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90090639
UR  /book/90090639/Formal-methods-for-protocol-engineering-and-distri/
ER  -