Nicolas Halbwachs, David Merchat, Laure Gonnord. Some ways to reduce the space dimension in polyhedra computations. Formal Methods in System Design, 29(1):79-95, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.