Login
- Titel:
GAVS+: an Open Platform for the Research of Algorithmic Game Solving
- Autor(en):
- Cheng, Chih-Hong; Knoll, Alois; Luttenberger, Michael; Buckl, Christian
- Stichworte:
- embedded
- Kongress- / Buchtitel:
- Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11)
- Verlag / Institution:
- Springer
- Jahr:
- 2011
- Serientitel:
- LNCS
- Volltext / DOI:
- doi:10.1007/978-3-642-19835-9_22
BibTeX