Automatisierte Generierung von Automaten und automatenbasierten Aufgaben. - Sven Judel; Timo Bergerbusch; Ulrik Schroeder (DeLFI, 2020)