GAVS: Game Arena Visualization and Synthesis

Chih-Hong Cheng, Christian Buckl, Michael Luttenberger and Alois Knoll

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

url: http://dx.doi.org/10.1007/978-3-642-15643-4_26