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},
  editor    = {Rudy Lauwereins and
               Jan Madsen},
  title     = {Interactive presentation: Automatic hardware synthesis from specifications:
               a case study},
  booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
               {DATE} 2007, Nice, France, April 16-20, 2007},
  pages     = {1188--1193},
  publisher = {{EDA} Consortium, San Jose, CA, {USA}},
  year      = {2007},
  url       = {https://dl.acm.org/citation.cfm?id=1266622},
  timestamp = {Mon, 03 Jan 2022 22:40:15 +0100},
  biburl    = {https://dblp.org/rec/conf/date/BloemGJPPW07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics