@inproceedings{DS9,
title = {Image computation for polynomial dynamical systems using the Bernstein expansion },
author = {Dang, Thao and Salinas, David},
year = {2009},
booktitle = {Computer Aided Verification CAV'09},
pages = {277--287},
publisher = {Springer},
series = {LNCS},
team = {axe_Mohytos, TEMPO},
}