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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of the conference on Design, automation and test in Europe
Herausgeber (Verlag).
Seiten1188-1193
DOIs
PublikationsstatusVeröffentlicht - 2007
VeranstaltungDesign, Automation and Test in Europe - Nice, Frankreich
Dauer: 16 Apr 200720 Apr 2007

Konferenz

KonferenzDesign, Automation and Test in Europe
KurztitelDATE
LandFrankreich
OrtNice
Zeitraum16/04/0720/04/07

Dieses zitieren