@INPROCEEDINGS{DBLP:conf/vmcai/SogokonGJP16,
pdf = {pub/abstraction-ddc.pdf},
slides = {pub/abstraction-ddc-slides.pdf},
author = {Andrew Sogokon and
Khalil Ghorbal and
Paul B. Jackson and
Andr{\'e} Platzer},
title = {A Method for Invariant Generation for
Polynomial Continuous Systems},
booktitle = {VMCAI},
year = {2016},
pages = {268-288},
doi = {10.1007/978-3-662-49122-5_13},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
longbooktitle = {Verification, Model Checking, and Abstract
Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL,
USA, January 17-19, 2016, Proceedings},
series = {LNCS},
volume = {9583},
publisher = {Springer},
}```