Christian Haubelt, Dirk Timmermann, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 2013.
Conference: mbmv2013
@proceedings{mbmv-2013,
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013},
year = {2013},
researchr = {https://researchr.org/publication/mbmv-2013},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013},
conference = {mbmv},
editor = {Christian Haubelt and Dirk Timmermann},
publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock},
isbn = {978-3-86009-147-0},
}