Authors: Christoph Kuznik, Universität Paderborn, DE; Wolfgang Mueller, Universität Paderborn, DE; Defo, Bertrand
Abstract:
-
Publication Date: 2014/03/10
Location of Publication: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), Böblingen, Germany
Keyword: Verification
