Inhalt
zur Navigation
Publikationen
| Zitatschlüssel | hauser09 |
|---|---|
| Autor | Nico Moser and Stefan Hauser and Carsten Gremzow |
| Buchtitel | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
| Seiten | 107–116 |
| Jahr | 2009 |
| ISBN | 978-3-7983-2118-2 |
| Verlag | Nico Moser |
Ältere Publikationen
Ältere Publikationen von Prof. Juurlink finden sich hier.