19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV)

1. & 2. März 2016, Albert-Ludwigs-Universität Freiburg im Breisgau

Austragungsort

Der MBMV findet am 1. und 2. März 2016 an der Technischen Fakultät der Albert-Ludwigs-Universität Freiburg statt:
Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Georges-Köhler-Allee 101, Erdgeschoss, Hörsaal 036
79110 Freiburg im Breisgau

Erreichbarkeit mit öffentlichen Verkehrsmitteln