| Originalsprache | Deutsch |
|---|---|
| Qualifikation | Master of Science |
| Gradverleihende Hochschule | |
| Betreuer/-in / Berater/-in |
|
| Publikationsstatus | Veröffentlicht - 2015 |
| Extern publiziert | Ja |
Minimierung symbolischer nichtdeterministischer Büchi-Automaten
Johannes Thorn