BibTeX record conf/date/BloemGJPPW07

download as .bib file

@inproceedings{DBLP:conf/date/BloemGJPPW07,
  author    = {Roderick Bloem and
               Stefan J. Galler and
               Barbara Jobstmann and
               Nir Piterman and
               Amir Pnueli and
               Martin Weiglhofer},
  title     = {Interactive presentation: Automatic hardware synthesis from specifications:
               a case study},
  booktitle = {{DATE}},
  pages     = {1188--1193},
  publisher = {{EDA} Consortium, San Jose, CA, {USA}},
  year      = {2007}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics