TY - BOOK A1 - / Egon B?�rger, Angelo Gargantini, Elvinia Riccobene (eds.) TI - Abstract state machines 2003 PB - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران SN - 103397464 UR /book/103397464/Abstract-state-machines-2003/ ER -