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 Sat Apr 1 01:05:04 2023 NZDT.