Publikation

Formale Methoden für Alle

Mathias Soeken, Max Nitze, Rolf Drechsler

In: Jürgen Ruf , Dirk Allmendinger , Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2014) 17. March 10-12 Böblingen Germany Seiten 213-217 Cuvillier Verlag Göttingen Göttingen 2014.

Projekte

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence