Browse by Author/Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia, 13-15 November 2009.

This list was generated on Wed Oct 27 01:04:25 2021 NZDT.