DFG project on "Compositional synthesis of abstractions for infinite networks"!
10.09.2018
The HCS group got granted a DFG project on "Compositional synthesis of abstractions for infinite networks"! This is a joint project with Prof. Fabian Wirth at the Faculty of Computer Science and Mathematics in the university of Passau.