Falco Lentzsch; Frédéric Li; Friederike Pagel; Margot Lau; Andrea Kock; Hanna Marie Röhling; Benedikt-Johannes Rothstein; Maciej Baranowski; Marco Maass; Hannes Hölzl; Sebastian Glande; Sebastian Mansow-Model; Ute Thyen; Marcin Grzegorzek
In: 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.
In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, 2026.
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.