SIGDA Ph.D. Forum at the Design Automation Conference

  • Barbara Jobstmann (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Property synthesis
Zeitraum25 Juli 2006
EreignistitelSIGDA Ph.D. Forum at the Design Automation Conference
VeranstaltungstypKonferenz