19th ACSD 2019: Aachen, Germany

Keynote

Session 1: Arbitration

Session 2: Synthesis and Verification

Session 3: Dataflow and Parallel Computing

Session 4: Processes

a service of Schloss Dagstuhl - Leibniz Center for Informatics