Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. Universitätsbibliothek Berlin, Germany, 2009.
Conference: mbmv2009
@proceedings{mbmv-2009, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009}, year = {2009}, researchr = {https://researchr.org/publication/mbmv-2009}, cites = {0}, citedby = {0}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009}, conference = {mbmv}, editor = {Carsten Gremzow and Nico Moser}, publisher = {Universitätsbibliothek Berlin, Germany}, }