GAVS: Game Arena Visualization and Synthesis

Chih-Hong Cheng, Christian Buckl, Michael Luttenberger und 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