Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li
BACH 2 : Bounded reachability checker for compositional linear hybrid systems
DATE, 2010.
@inproceedings{DATE-2010-BuLWCL,
author = "Lei Bu and You Li and Linzhang Wang and Xin Chen and Xuandong Li",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1512--1517",
publisher = "{IEEE}",
title = "{BACH 2 : Bounded reachability checker for compositional linear hybrid systems}",
year = 2010,
}