Symbolically Synthesizing Small Circuits

Rüdiger Ehlers, Robert Könighofer, Georg Hofferek

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
Herausgeber (Verlag).
Seiten91-100
PublikationsstatusVeröffentlicht - 2012
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Cambridge, Großbritannien / Vereinigtes Königreich
Dauer: 22 Okt 201225 Okt 2012

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandGroßbritannien / Vereinigtes Königreich
OrtCambridge
Zeitraum22/10/1225/10/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Dieses zitieren