@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{JLS-hldvt09,
  author    = {Susmit Jha and Wenchao Li and Sanjit A. Seshia},
  title     = {Localizing Transient Faults Using Dynamic Bayesian Networks},
 booktitle = {IEEE International High Level Design Validation and Test Workshop (HLDVT)},
 month = "November",
 year = {2009},
}