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).

Property synthesis. / Jobstmann, Barbara.

Design Automation Conference. SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006), 2006. p. ?-?.

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

Jobstmann, B 2006, Property synthesis. in Design Automation Conference. SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006), pp. ?-?, Design Automation Conference, San Francisco, California, United States, 24/07/06.
Jobstmann B. Property synthesis. In Design Automation Conference. SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006). 2006. p. ?-?
Jobstmann, Barbara. / Property synthesis. Design Automation Conference. SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006), 2006. pp. ?-?
@inproceedings{00911755f2dc443bb56b1a0c603838b2,
title = "Property synthesis",
author = "Barbara Jobstmann",
year = "2006",
language = "deutsch",
pages = "?--?",
booktitle = "Design Automation Conference",
publisher = "SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006)",

}

TY - GEN

T1 - Property synthesis

AU - Jobstmann, Barbara

PY - 2006

Y1 - 2006

M3 - Beitrag in einem Konferenzband

SP - ?-?

BT - Design Automation Conference

PB - SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006)

ER -