@inproceedings{BGJ+07b,
title = {Interactive presentation: Automatic hardware synthesis from specifications: a case study },
author = {Bloem, Roderick and Galler, Stefan J. and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Weiglhofer, Martin},
year = {2007},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France},
pages = {1188-1193},
publisher = {ACM},
team = {DCS},
}
