TP-L: Semantik und Verifikation von parallelen Systemen

Teilprojekt L wird spezifiziert, sobald die Qualifikationsprofessur besetzt ist.

Deutsch