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},
  pages     = {190--194},
  year      = {2008},
  crossref  = {DBLP:conf/ddecs/2008},
  url       = {http://dx.doi.org/10.1109/DDECS.2008.4538784},
  doi       = {10.1109/DDECS.2008.4538784},
  timestamp = {Mon, 23 May 2011 16:32:24 +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},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  isbn      = {978-1-4244-2276-0},
  timestamp = {Wed, 03 Sep 2008 08:35:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ddecs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}