Property synthesis

Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
Country/TerritoryUnited States
CitySan Francisco, California
Period24/07/0628/07/06

Cite this