TY  - RPRT
TI  - Barrier Certificates Revisited
AU  - Liyun Dai
AU  - Ting Gan
AU  - Bican Xia
AU  - Naijun Zhan
PY  - 2013
UR  - https://arxiv.org/abs/1310.6481
ID  - 1310.6481
ER  -