Publikation
Mathias Soeken; Max Nitze; Rolf Drechsler
In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2014), 17. March 10-12, Böblingen, Germany, Pages 213-217, Cuvillier Verlag Göttingen, Göttingen, 2014.
@inproceedings{pub7158, author = { Soeken, Mathias and Nitze, Max and Drechsler, Rolf }, editor = { Ruf, Jürgen and Allmendinger, Dirk and Michel, Matteo }, title = {Formale Methoden für Alle}, booktitle = {MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2014), 17., March 10-12, Böblingen, Germany}, year = {2014}, pages = {213--217}, publisher = {Cuvillier Verlag Göttingen} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023