Michael Luttenberger

Publikationen

Liste als BibTeX-Datei exportieren

  • 2011 GAVS+: An Open Platform for the Research of Algorithmic Game Solving Chih-Hong Cheng, Alois Knoll, Michael Luttenberger und Christian Buckl In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, , Seiten 258–261, Details URL DOI BIB
  • 2010 GAVS: Game Arena Visualization and Synthesis Chih-Hong Cheng, Christian Buckl, Michael Luttenberger und Alois Knoll In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, Seiten 347–352, Details URL DOI BIB