![](/img/cover-not-exists.png)
[IEEE 2009 International Conference on Computer Technology and Development - Kota Kinabalu, Malaysia (2009.11.13-2009.11.15)] 2009 International Conference on Computer Technology and Development - Automated Model Checking of Stochastic Graph Transformation Systems
Rafe, Vahid, Rafeh, Reza, Miralvand, Mohamad Reza Zand, Alavizadeh, Alavie SadatYear:
2009
Language:
english
DOI:
10.1109/icctd.2009.165
File:
PDF, 251 KB
english, 2009