BibTeX record: conf/ddecs/NacifSTFC08

download as .bib file

@inproceedings{DBLP:conf/ddecs/NacifSTFC08,
  author    = {Jos\'{e} Augusto Miranda Nacif and
               Thiago S. F. Silva and
               Andr\'{e}a Iabrudi Tavares and
               Ant\^{o}nio Ot\`{a}vio Fernandes and
               Claudionor Jos\'{e} Nunes Coelho Jr.},
  title     = {Efficient Allocation of Verification Resources using Revision History
               Information.},
  booktitle = {Proceedings of the 11th {IEEE} Workshop on Design \& Diagnostics
               of Electronic Circuits \& Systems {(DDECS} 2008), Bratislava,
               Slovakia, April 16-18, 2008},
  year      = {2008},
  pages     = {190--194},
  crossref  = {DBLP:conf/ddecs/2008},
  url       = {http://dx.doi.org/10.1109/DDECS.2008.4538784},
  doi       = {10.1109/DDECS.2008.4538784},
  timestamp = {Tue, 02 Sep 2014 23:29:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ddecs/NacifSTFC08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ddecs/2008,
  editor    = {Bernd Straube and
               Milos Drutarovsk\'{y} and
               Michel Renovell and
               Peter Gramata and
               M\`{a}ria Fischerov\`{a}},
  title     = {Proceedings of the 11th {IEEE} Workshop on Design \& Diagnostics
               of Electronic Circuits \& Systems {(DDECS} 2008), Bratislava,
               Slovakia, April 16-18, 2008},
  year      = {2008},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-1-4244-2276-0},
  timestamp = {Tue, 02 Sep 2014 23:29:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ddecs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}