60. Birthday: Ernst-Rüdiger Olderog, 2015

Laudationes

Semantics

Process Algebra

Logic

Analysis

Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier