Barrier certificates revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan. Barrier certificates revisited. Journal of Symbolic Computation, 80:62-86, 2017. [doi]

This author has not been identified. Look up 'Liyun Dai' in GoogleThis author has not been identified. Look up 'Ting Gan' in GoogleThis author has not been identified. Look up 'Bican Xia' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in Google

runs on WebDSL