Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
Studiengänge
Angewandte Mathematik Master
Informatik Master
Informations- und Medientechnik Master
Modul
12524
Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
Lehrinhalt:
Übung zur Vorlesung 128120
Lehrstuhl
Datenstrukturen und Softwarezuverlässigkeit
Institut für Informatik