Title

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015. Tagungsband

Title Supplement

03.03. - 04.03.2015, Mercure Hotel Kongress Chemnitz, Workshop

Person Involved

Corporate Author

TU Chemnitz, Fakultät für Elektrotechnik und Informationstechnik

Publisher

Publishing Place

Chemnitz

Publication Date

2015

ISBN

978-3-00-048889-4

Conference