Felix Brüning activityhttps://gitlab.informatik.uni-bremen.de/fbrning2024-02-06T08:22:26+01:00tag:gitlab.informatik.uni-bremen.de,2024-01-11:1924936Felix Brüning pushed to project branch feature-modelChecking at Niklas Krafcz...2024-01-11T15:41:39+01:00fbrningFelix Brüning