Interactive presentation: Automatic hardware synthesis from specifications: a case study

Roderick Paul Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the conference on Design, automation and test in Europe
Publisher.
Pages1188-1193
DOIs
Publication statusPublished - 2007
EventDesign, Automation and Test in Europe - Nice, France
Duration: 16 Apr 200720 Apr 2007

Conference

ConferenceDesign, Automation and Test in Europe
Abbreviated titleDATE
CountryFrance
CityNice
Period16/04/0720/04/07

Cite this