Login
- Titel:
GAVS: Game Arena Visualization and Synthesis
- Autor(en):
- Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois
- 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
- Volltext / DOI:
- doi:10.1007/978-3-642-15643-4_26
BibTeX