Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. MoPress, 2001.
Conference: mbmv2001
@proceedings{mbmv-2001,
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001},
year = {2001},
researchr = {https://researchr.org/publication/mbmv-2001},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001},
conference = {mbmv},
editor = {Dieter Monjau},
publisher = {MoPress},
}