Eintrag in der Universitätsbibliographie der TU Chemnitz
Langer, Jan ; Pepelyashev, Dimo ; Heinkel, Ulrich
Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 978-3-8396-0103-7 | |
| Quelle: | 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 23.2.2010, Dresden, pp. 31-40, 2010 |
