| Original language | German |
|---|---|
| Pages | 51-60 |
| Number of pages | 10 |
| Publication status | Published - 2006 |
| Event | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) - Dresden, Germany Duration: 20.02.2006 → 22.02.2006 |
Conference
| Conference | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
|---|---|
| Country/Territory | Germany |
| City | Dresden |
| Period | 20.02.06 → 22.02.06 |
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 9 Industry, Innovation, and Infrastructure
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver