Publikationen suchen
- Publikation
- Autoren
- Einrichtungen
- Abstract
- Externe Dokumente
- Links
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
(
Konferenz/Workshop
)