BibTeX record conf/date/BloemGJPPW07

download as .bib file

  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