From games to executables! Implementaions of strategies from UPPAAL TIGA

Student thesis: Master thesis (including HD thesis)

  • Jesper Rosenkilde
2. term, Computer Science, Master (Master Programme)
LanguageEnglish
Publication date2009
Number of pages105
Publishing institutionDepartment of Computer Science
ID: 17697746