User: Guest  Login
Author(s):
Cheng, Chih-Hong; Knoll, Alois; Luttenberger, Michael; Buckl, Christian 
Title:
GAVS+: an Open Platform for the Research of Algorithmic Game Solving 
Keywords:
embedded 
Book / Congress title:
Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11) 
Publisher:
Springer 
Year:
2011 
Bookseries title:
LNCS