h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Wang, Qiuye
AU  - Chen, Mingshuai
AU  - Xue, Bai
AU  - Zhan, Naijun
AU  - Katoen, Joost-Pieter
TI  - Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming
JO  - Information and computation
VL  - 289
IS  - A
SN  - 0890-5401
CY  - Amsterdam
PB  - Elsevier
M1  - RWTH-2022-09180
SP  - 104965
PY  - 2022
N1  - Available online 22 September 2022
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:000914897100026
DO  - DOI:10.1016/j.ic.2022.104965
UR  - https://publications.rwth-aachen.de/record/853946
ER  -