DAI, Liyun, GAN, Ting, XIA, Bican, ZHAN, Naijun, DAI, LY (reprint author), Peking Univ, LMAM, Beijing, Peoples R China., DAI, LY (reprint author), Peking Univ, Sch Math Sci, Beijing, Peoples R China., PEKING UNIV, LMAM, Beijing, Peoples R China., PEKING UNIV, Sch Math Sci, Beijing, Peoples R China. und Chinese Acad Sci Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China., 2017. Barrier certificates revisited. In: . Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS). 1 Januar 2017.

Dai, L., Gan, T., Xia, B., Zhan, N., Dai, L. (reprint author), P.U.L.B.P.R.C., Dai, L. (reprint author), P.U.S.M.S.B.P.R.C., Peking Univ, L.B.P.R.C., Peking Univ, S.M.S.B.P.R.C., Chinese Acad Sci I.S.S.K.L.C.S.B.1.P.R.C., 2017. Barrier certificates revisited, in: . Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS). https://doi.org/10.1016/j.jsc.2016.07.010

Dai, L., Gan, T., Xia, B., Zhan, N., Dai, L. (reprint author), P. U. L. B. P. R. C., Dai, L. (reprint author), P. U. S. M. S. B. P. R. C., Peking Univ, L. B. P. R. C., Peking Univ, S. M. S. B. P. R. C., & Chinese Acad Sci I. S. S. K. L. C. S. B. 1. P. R. C. (2017, Januar 1). Barrier certificates revisited. https://doi.org/10.1016/j.jsc.2016.07.010

Dai L, Gan T, Xia B, Zhan N, Dai L (reprint author), PULBPRC, Dai L (reprint author), PUSMSBPRC, Peking Univ LBPRC, Peking Univ SMSBPRC, Chinese Acad Sci ISSKLCSB1 PRC (2017) Barrier certificates revisited. Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS)

Dai, Liyun/ Gan, Ting/ Xia, Bican/ Zhan, Naijun/ Dai, LY (reprint author), Peking Univ, LMAM, Beijing, Peoples R China./ Dai, LY (reprint author), Peking Univ, Sch Math Sci, Beijing, Peoples R China./ Peking Univ, LMAM, Beijing, Peoples R China./ Peking Univ, Sch Math Sci, Beijing, Peoples R China./ Chinese Acad Sci Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China., Barrier certificates revisited, 2017, .