Michael Luttenberger

Publikationen

Liste als BibTeX-Datei exportieren

  • 2011GAVS+: An Open Platform for the Research of Algorithmic Game SolvingChih-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, DetailsURLDOIBIB
  • 2010GAVS: Game Arena Visualization and SynthesisChih-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, DetailsURLDOIBIB