BACH 2 : Bounded reachability checker for compositional linear hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li. BACH 2 : Bounded reachability checker for compositional linear hybrid systems. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. pages 1512-1517, IEEE, 2010. [doi]

This author has not been identified. Look up 'Lei Bu' in GoogleThis author has not been identified. Look up 'You Li' in GoogleThis author has not been identified. Look up 'Linzhang Wang' in GoogleThis author has not been identified. Look up 'Xin Chen' in GoogleThis author has not been identified. Look up 'Xuandong Li' in Google

runs on WebDSL