BibTeX record conf/dac/AdirADLRVCCD05

download as .bib file

@inproceedings{DBLP:conf/dac/AdirADLRVCCD05,
  author    = {Allon Adir and
               Yaron Arbetman and
               Bella Dubrov and
               Yossi Lichtenstein and
               Michal Rimon and
               Michael Vinov and
               Massimo A. Calligaro and
               Andrew Cofler and
               Gabriel Duffy},
  editor    = {William H. Joyner Jr. and
               Grant Martin and
               Andrew B. Kahng},
  title     = {{VLIW:} a case study of parallelism verification},
  booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
               San Diego, CA, USA, June 13-17, 2005},
  pages     = {779--782},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1065579.1065787},
  doi       = {10.1145/1065579.1065787},
  timestamp = {Tue, 06 Nov 2018 16:58:16 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/AdirADLRVCCD05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics