@inproceedings{AD4c,
title = {Abstraction by projection and application to multi-affine systems },
author = {Asarin, Eugene and Dang, Thao},
year = {2004},
booktitle = {Hybrid Systems: Control and Computation HSCC'04},
note = {LNCS 2993},
pages = {32-47},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}
