Benutzer: Gast  Login
Autor(en):
Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois 
Titel:
GAVS: Game Arena Visualization and Synthesis 
Stichworte:
embedded 
Kongress- / Buchtitel:
Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10) 
Band / Teilband / Volume:
6252 
Verlag / Institution:
Springer 
Jahr:
2010 
Seiten:
347--352 
Serientitel:
LNCS