Publikationen

Zeige Ergebnisse 1 bis 10 von 54

In: The 34th IEEE International Conference on Computer Design. IEEE International Conference on Computer Design (ICCD-34) October 3-5 Phoenix United States 2016.

Zur Publikation

In: The 34th IEEE International Conference on Computer Design. IEEE International Conference on Computer Design (ICCD-34) October 3-5 Phoenix United States 2016.

Zur Publikation

In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016) October 3-6 Mountain View United States 2016.

Zur Publikation

In: Proceedimgs of the 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS). ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS-2016) October 2-7 Saint-Malo France 2016.

Zur Publikation

In: 12th International Workshop on Boolean Problems. International Workshop on Boolean Problems (IWSBP-12) September 22-23 Freiberg Germany 2016.

Zur Publikation

In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35) November 7-10 Austin United States 2016.

Zur Publikation

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