Page Content
to Navigation
Publications
| Citation key | hauser09 |
|---|---|
| Author | Nico Moser and Stefan Hauser and Carsten Gremzow |
| Title of Book | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
| Pages | 107–116 |
| Year | 2009 |
| ISBN | 978-3-7983-2118-2 |
| Publisher | Nico Moser |
Older Publications
Further Publications of Prof. Juurlink are here available.