NacifSTFC08'

@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 = {DDECS},
  year      = {2008},
  pages     = {190-194},
  ee        = {http://dx.doi.org/10.1109/DDECS.2008.4538784},
  crossref  = {DBLP:conf/ddecs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {DDECS},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {978-1-4244-2276-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}