Benz, Joscha
[Author];
Bringmann, Oliver
[Author];
Führ, Gereon
[Author];
Große, Daniel
[Author];
Haubelt, Christian
[Author];
Herdt, Vladimir
[Author]
;
Technische Universität Kaiserslautern,
Universität Bremen,
Technische Universität München Lehrstuhl für Entwurfsautomatisierung,
Eberhard Karls Universität Tübingen,
Universität Rostock,
Universität Stuttgart Institut für Technische Informatik,
Rheinisch-Westfälische Technische Hochschule Aachen