| Original language | German |
|---|---|
| Qualification | Master of Science |
| Awarding Institution | |
| Supervisors/Advisors |
|
| Publication status | Published - 2015 |
| Externally published | Yes |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Minimierung symbolischer nichtdeterministischer Büchi-Automaten
Johannes Thorn