19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016

Ralf Wimmer, editor, 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. Albert-Ludwigs-Universität Freiburg, 2016.

Conference: mbmv2016

Editors

Ralf Wimmer

This author has not been identified. Look up 'Ralf Wimmer' in Google