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