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 proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the conference on Design, automation and test in Europe
Publisher	.
Pages	1188-1193
DOIs	https://doi.org/http://doi.acm.org/10.1145/1266366.1266622
Publication status	Published - 2007
Event	Design, Automation and Test in Europe - Nice, France Duration: 16 Apr 2007 → 20 Apr 2007

Conference	Design, Automation and Test in Europe
Abbreviated title	DATE
Country/Territory	France
City	Nice
Period	16/04/07 → 20/04/07

Access to Document

Bloem, RP, Galler, S, Jobstmann, B, Piterman, N, Pnueli, A & Weiglhofer, M 2007, Interactive presentation: Automatic hardware synthesis from specifications: a case study. in Proceedings of the conference on Design, automation and test in Europe. ., pp. 1188-1193, Design, Automation and Test in Europe, Nice, France, 16/04/07. https://doi.org/http://doi.acm.org/10.1145/1266366.1266622

@inproceedings{139609e1c72a490bb1c8139fec2631e1,

title = "Interactive presentation: Automatic hardware synthesis from specifications: a case study",

author = "Bloem, {Roderick Paul} and Stefan Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer",

year = "2007",

doi = "http://doi.acm.org/10.1145/1266366.1266622",

language = "English",

pages = "1188--1193",

booktitle = "Proceedings of the conference on Design, automation and test in Europe",

publisher = ".",

note = "Design, Automation and Test in Europe, DATE ; Conference date: 16-04-2007 Through 20-04-2007",

}

TY - GEN

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

AU - Bloem, Roderick Paul

AU - Galler, Stefan

AU - Jobstmann, Barbara

AU - Piterman, Nir

AU - Pnueli, Amir

AU - Weiglhofer, Martin

PY - 2007

Y1 - 2007

U2 - http://doi.acm.org/10.1145/1266366.1266622

DO - http://doi.acm.org/10.1145/1266366.1266622

M3 - Conference paper

SP - 1188

EP - 1193

BT - Proceedings of the conference on Design, automation and test in Europe

PB - .

T2 - Design, Automation and Test in Europe

Y2 - 16 April 2007 through 20 April 2007

ER -