Search for collections on Wintec Research Archive

Items where Author is "Alavizadeh, Alavie Sadat"

Group by: Item Type | No Grouping
Number of items: 1.

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

This list was generated on Thu Jul 25 01:31:31 2024 UTC.