Minimierung symbolischer nichtdeterministischer Büchi-Automaten

Johannes Thorn

Original languageGerman
QualificationMaster of Science
Awarding Institution
  • University of Lübeck
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Tantau, Till, Supervisor
Publication statusPublished - 2015
Externally publishedYes

Other files and links

Cite this