2024-05-312024-05-31https://hdl.handle.net/11420/4767527. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 202427th Workshop on Methods and Description Languages ??for Modeling and Verification of Circuits and Systems, MBMV 2024Workshop10.15480/882.1269310.15480/882.12693