Login / Signup

Some ways to reduce the space dimension in polyhedra computations.

Nicolas HalbwachsDavid MerchatLaure Gonnord
Published in: Formal Methods Syst. Des. (2006)
Keyphrases