![](/img/cover-not-exists.png)
Barrier certificates revisited
Dai, Liyun, Gan, Ting, Xia, Bican, Zhan, NaijunLanguage:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2016.07.010
Date:
July, 2016
File:
PDF, 1.20 MB
english, 2016