- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | S. Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Towards Automated Software Verification Using Model Checking Techniques. TASE 2009: 305-306 |
| 1 | Vahid Rafe | [1] |
| 2 | Reza Rafeh | [1] |
| 3 | Adel Torkaman Rahmani | [1] |