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 |