Publikationen

Zeige Ergebnisse 1 bis 2 von 2

In: Formal Methods in Computer Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD) September 27-30 Austin TX United States 2015.

Zur Publikation

In: 24th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2015) June 12-13 Mountain View CA United States 2015.

Zur Publikation

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