GAVS: Game Arena Visualization and Synthesis

Title:: GAVS: Game Arena Visualization and Synthesis
Author(s):: Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois
Keywords:: embedded
Book / Congress title:: Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10)
Volume:: 6252
Publisher:: Springer
Year:: 2010
Pages:: 347--352
Bookseries title:: LNCS
Fulltext / DOI:: doi:10.1007/978-3-642-15643-4_26
BibTeX

Occurrences: