A1, Juli 2025 Christian Haubelt, Florian Grützmacher: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Tagungsband zum 28. Workshop MBMV 2025, pp. 0-174 [...] 1038/s41598-025-17278-6 , ISSN: 2045-2322, Verlag Springer Nature, Heidelberg, Deutschland, August 2025 Dina Kea Noanoa Dechmann El Arbi, Florian Grützmacher, Christian Haubelt, Georg Heine, Wolf Von Keeves [...] 0-174, ISBN 978-3-8007-6516-4, VDE/IEEE, Rostock, Deutschland, März 2025 Nico Graumüller, Constantin Gis, Franziska Geiger, Iman Soodmand, Maeruan Kebbach, Rainer Bader, Christian Haubelt, Florian Grützmacher:
https://www.imd.uni-rostock.de/team/mitarbeitende/persoenliche-seiten/florian-gruetzmacher/