@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{li-date09,
  author    = {Wenchao Li and
               Marco Di Natale and
               Wei Zheng and
               Paolo Giusto and
               Alberto L. Sangiovanni-Vincentelli and
               Sanjit A. Seshia},
  title     = {Optimizations of an Application-Level Protocol for Enhanced
               Dependability in {FlexRay}},
  pages     = {1076-1081},
 booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
 month = "April",
 year = {2009},
}