Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen

Studiengänge Angewandte Mathematik Master Informatik Diplom Hauptstudium Informatik Master Informations- und Medientechnik Master

Modul 12524 Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen

Lehrinhalt: Übung zur Vorlesung 120820

Lehrstuhl Datenstrukturen und Softwarezuverlässigkeit Institut für Informatik, Informations- und Medientechnik