Search for collections on Wintec Research Archive
Items where Author is "Alavizadeh, Alavie Sadat"
Group by: Item Type | No Grouping
Number of items: 1.
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