Property synthesis

Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageGerman
Title of host publicationDesign Automation Conference
PublisherSIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006)
Pages?-?
Publication statusPublished - 2006
EventDesign Automation Conference - San Francisco, California, United States
Duration: 24 Jul 200628 Jul 2006

Conference

ConferenceDesign Automation Conference
CountryUnited States
CitySan Francisco, California
Period24/07/0628/07/06

Cite this

Jobstmann, B. (2006). Property synthesis. In Design Automation Conference (pp. ?-?). SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006).