GAVS: Game Arena Visualization and Synthesis
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pp. 347–352
2010 · DOI: 10.1007/978-3-642-15643-4_26
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pp. 347–352
2010 · DOI: 10.1007/978-3-642-15643-4_26