%0
Generic
%T
MBMV 2016
19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.–2. März 2016
%A Gesellschaft für Informatik
%A Informationstechnische Gesellschaft
%A Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik
%A MBMV 19. 2016 Freiburg im Breisgau
%A Wimmer, Ralf
%I Albert-Ludwigs-Universität
%@ 9783000523809
%K Konferenzschrift
%K Online-Ressource
%K Verifikation
%K Mathematische Modellierung
%K Schaltung
%K System
%D 2016
%C Albert-Ludwigs-Universität
%C Freiburg im Breisgau
%U http://slubdd.de/katalog?TN_libero_mab2