Swen JACOBS

Projekt-Nummer
J-3670

Projekt-Titel
Parametrische Synthese Nebenläufiger und Verteilter Systeme

Forschungsstätte
Universität des Saarlandes
Reactive Systems Group

Laufzeit

Zurück zur Übersicht