@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",
}