MBMV 2016Posted in Verification19. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Event Date: Mar 01, 2016 - Mar 03, 2016 Posted inLocation: Freiburg im Breisgau, Germany Deadline: Nov 12, 2015
