Publikation bearbeiten
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
(
Konferenz/Workshop
)