Semester: Wintersemester 2015/2016

2.01.491 Seminar Aktuelle Themen aus dem Bereich Formale Sprachen II


Veranstaltungsort

  • Wird als Blockseminar abgehalten, n. V. bitte sprechen Sie die Lehrende an

Beschreibung

Model Checking für Graphersetzungssysteme

Lehrende

Studienmodule

  • inf491 Aktuelle Themen aus dem Gebiet "Formale Sprachen" II

Lehrsprache
deutsch

empfohlenes Fachsemester
--