Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. Sächsische Landesbibliothek, 2015.
Conference: mbmv2015
@proceedings{mbmv-2015,
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015},
year = {2015},
researchr = {https://researchr.org/publication/mbmv-2015},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015},
conference = {mbmv},
editor = {Ulrich Heinkel and Daniel Kriesten and Marko Rößler},
publisher = {Sächsische Landesbibliothek},
isbn = {978-3-944640-34-1},
}