Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. Fraunhofer Institut für Integrierte Schaltungen, 2006.
Conference: mbmv2006
@proceedings{mbmv-2006,
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006},
year = {2006},
researchr = {https://researchr.org/publication/mbmv-2006},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006},
conference = {mbmv},
editor = {Bernd Straube and Martin Freibothe},
publisher = {Fraunhofer Institut für Integrierte Schaltungen},
}