TY  - BOOK
A1  - / Doron Drusinsky
TI  - Modeling and verification using UML statecharts 
PB  - کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران
SN  - 99680709
UR  /book/99680709/Modeling-and-verification-using-UML-statecharts/
ER  -