Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. Cuvillier, 2014.
Conference: mbmv2014
@proceedings{mbmv-2014, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany}, year = {2014}, researchr = {https://researchr.org/publication/mbmv-2014}, cites = {0}, citedby = {0}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany}, conference = {mbmv}, editor = {Jürgen Ruf and Dirk Allmendinger and Matteo Michel}, publisher = {Cuvillier}, }