@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{jha-formats07,
  author    = {Susmit Jha and
               Bryan A. Brady and
               Sanjit A. Seshia},
  title     = {Symbolic Reachability Analysis of Lazy Linear Hybrid Automata},
  booktitle = {Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)},
  series    = {Lecture Notes in Computer Science},
  volume    = {4763},
  year      = {2007},
  month = {October},
  pages     = {241-256},
}