Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]
Conference: mbmv2018
@proceedings{mbmv-2018,
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018},
year = {2018},
url = {http://hdl.handle.net/10900/81790},
researchr = {https://researchr.org/publication/mbmv-2018},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018},
conference = {mbmv},
publisher = {Universität Tübingen},
isbn = {978-3-00-059317-8},
}