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