TY  - BOOK
A1  - / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
TI  - Concurrency, Compositionality, and Correctnes
PB  - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران
SN  - 103409812
UR  /book/103409812/Concurrency-Compositionality-and-Correctnes/
ER  -