by Stefan Repke
Reference:
Simplification Problems for Games and Automata (Stefan Repke), PhD thesis, RWTH Aachen University, 2014.
Bibtex Entry:
@PhdThesis{Repke14, author = {Stefan Repke}, title = {Simplification Problems for Games and Automata}, school = {RWTH Aachen University}, month = may, year = {2014}, }