Swen JACOBS

project number
J-3670

project title
Parameterized Synthesis of Concurrent and Distributed System

research place
Universität des Saarlandes
Reactive Systems Group

duration

back to overview