User: Guest  Login
Author(s):
Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois 
Title:
GAVS: Game Arena Visualization and Synthesis 
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