Eintrag in der Universitätsbibliographie der TU Chemnitz
Heinkel, Ulrich ; Kriesten, Daniel ; Rößler, Marko
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2015 - Tagungsband, Chemnitz, 03. - 04. März 2015
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Buch (Herausgeberschaft) | |
| ISBN/ISSN: | 978-3-944640-34-1 | |
| URL/URN: | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-164197 | |
| Quelle: | Chemnitz : online, 2015. - 182 S. |
