Paper presented at a conference, workshop or other event, and published in the proceedings

Mahdian, Farzaneh and Rafe, Vahid and Rafeh, Reza and Torkeman Rahmani, Adel (2009) Modeling Fault Tolerant Services in Service-Oriented Architecture. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED