BuLWCL10'

@inproceedings{DBLP:conf/date/BuLWCL10,
  author    = {Lei Bu and
               You Li and
               Linzhang Wang and
               Xin Chen and
               Xuandong Li},
  title     = {BACH 2 : Bounded reachability checker for compositional
               linear hybrid systems},
  booktitle = {DATE},
  year      = {2010},
  pages     = {1512-1517},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457051},
  crossref  = {DBLP:conf/date/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2010,
  title     = {Design, Automation and Test in Europe, DATE 2010, Dresden,
               Germany, March 8-12, 2010},
  booktitle = {DATE},
  publisher = {IEEE},
  year      = {2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}