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

Rafe, Vahid and Rafeh, Reza and Zand Miralvand, Mohammad Reza and Alavizadeh, Alavie Sadat (2009) Automated Model Checking of Stochastic Graph Transformation Systems. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Zand Miralvand, Mohammad Reza and Rafe, Vahid and Rafeh, Reza and Hajiee, Maryam (2009) Automatic Refinement of Platform Independent Models. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Rafe, Vahid and Rafeh, Reza and Azize, Somayeh and Zand Miralvand, Mohammad Reza (2009) Verification and Validation of Activity Diagrams Using Graph Transformation. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED