Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. Fraunhofer Verlag, 2010.
Conference: mbmv2010
@proceedings{mbmv-2010,
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010},
year = {2010},
researchr = {https://researchr.org/publication/mbmv-2010},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010},
conference = {mbmv},
editor = {Manfred Dietrich},
publisher = {Fraunhofer Verlag},
}