anticache

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.